SYS_TRFCR_EL1
if (read_sysreg_s(SYS_TRFCR_EL1) != trfcr_while_in_guest)
{ SYS_DESC(SYS_TRFCR_EL1), undef_access },
return read_sysreg_s(SYS_TRFCR_EL1);
write_sysreg_s(val, SYS_TRFCR_EL1);