intel_tcc_get_offset_mask
EXPORT_SYMBOL_NS(intel_tcc_get_offset_mask, "INTEL_TCC");
*state = intel_tcc_get_offset_mask();
u32 intel_tcc_get_offset_mask(void);