__HCRX_EL2_MASK
#define __HCRX_EL2_RES0 ~(__HCRX_EL2_nMASK | __HCRX_EL2_MASK)
__HCRX_EL2_MASK | \
BUILD_BUG_ON(__HCRX_EL2_MASK & __HCRX_EL2_nMASK);
hcrx |= val & __HCRX_EL2_MASK;