VCPU_REG_CR0
!kvm_register_is_available(vcpu, VCPU_REG_CR0))
kvm_x86_call(cache_reg)(vcpu, VCPU_REG_CR0);
case VCPU_REG_CR0:
kvm_register_mark_available(vcpu, VCPU_REG_CR0);
BIT(VCPU_REG_CR0) | \