Symbol: vpid_desc
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2396
struct vpid_desc vpid_desc;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2435
vpid_desc.vpid = cpudata->asid;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2436
vpid_desc.addr = 0;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2437
vmx_invvpid(vmx_tlb_flush_op, &vpid_desc);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
97
vmx_invvpid(uint64_t op, struct vpid_desc *desc)