KVM_ALWAYS_ALLOWED_CR4
test_cr_bits(vcpu, KVM_ALWAYS_ALLOWED_CR4);
uint64_t cr4 = KVM_ALWAYS_ALLOWED_CR4;