os_curcpu_idt - Haiku

Symbol: os_curcpu_idt

src/add-ons/kernel/drivers/nvmm/nvmm_os.h

uint64 os_curcpu_idt();

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

vmx_vmwrite(VMCS_HOST_IDTR_BASE, (uint64_t)os_curcpu_idt());

src/libs/nvmm/driver/nvmm_os.h

uint64 os_curcpu_idt();

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

vmx_vmwrite(VMCS_HOST_IDTR_BASE, (uint64_t)os_curcpu_idt());