NFLX_TLB_FLAG_STACKINFO

Constant NFLX_TLB_FLAG_STACKINFO 

Source
pub const NFLX_TLB_FLAG_STACKINFO: u32 = 16;