VMCS_LINK_POINTER
error = vm_get_vmcs_field(vcpu, VMCS_LINK_POINTER, &addr);
vmcs_write(VMCS_LINK_POINTER, ~0);