VCPU_EXREG_EXIT_INFO_2
BIT_ULL(VCPU_EXREG_EXIT_INFO_2) | \
kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_2);
if (!kvm_register_test_and_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_2) &&
(1 << VCPU_EXREG_EXIT_INFO_2))