vmclear
if (vmclear(&vcpu->vc_control_pa))
if (vmclear(&vcpu->vc_control_pa)) {
if (vmclear(&vcpu->vc_control_pa)) {
if ((err = vmclear(&vcpu->vc_control_pa)))
if (vmclear(&ci->ci_vmcs_pa))
if (vmclear(&vcpu->vc_control_pa))
int vmclear(paddr_t *);