Searched refs:cur_vmcs (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/intel/ | ||
| H A D | vmcs.c | 434 uint64_t cur_vmcs, val; local 447 vmptrst(&cur_vmcs); 448 if (cur_vmcs == VMCS_INITIAL) { 452 db_printf("VMCS: %jx\n", cur_vmcs); |
Completed in 76 milliseconds