Symbol: VM_REG_GUEST_TCR2_EL1