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