HPFAR_EL2_FIPA_SHIFT
(((x) & HPFAR_EL2_FIPA_MASK) >> HPFAR_EL2_FIPA_SHIFT)
hpfar_el2 <<= HPFAR_EL2_FIPA_SHIFT;