Constant TF_USE_KERNEL_APC 

pub const TF_USE_KERNEL_APC: u32 = 32u32;