Symbol: VM_REG_GUEST_TCR_EL1