perf_get_platform_reg_mask
platform_extended_mask = perf_get_platform_reg_mask();
extern u64 perf_get_platform_reg_mask(void);