vmx_handle_cr4_write
int vmx_handle_cr4_write(struct vcpu *, uint64_t);
vmx_handle_cr4_write(vcpu, r);