Searched refs:os_curcpu_idt (Results 1 – 2 of 2) sorted by relevance
201 #define os_curcpu_idt() curcpu()->ci_idtvec.iv_idt macro215 #define os_curcpu_idt() r_idt_arr[mycpuid].rd_base macro
2120 vmx_vmwrite(VMCS_HOST_IDTR_BASE, (uint64_t)os_curcpu_idt()); in vmx_vcpu_guest_misc_enter()