arm_spe_event_to_pmsdsfr
if (arm_spe_event_to_pmsdsfr(event) != U64_MAX &&
reg = arm_spe_event_to_pmsdsfr(event);