Searched refs:cur_vmcs (Results 1 – 1 of 1) sorted by relevance
562 uint64_t cur_vmcs, val; in DB_SHOW_COMMAND() local575 vmptrst(&cur_vmcs); in DB_SHOW_COMMAND()576 if (cur_vmcs == VMCS_INITIAL) { in DB_SHOW_COMMAND()580 db_printf("VMCS: %jx\n", cur_vmcs); in DB_SHOW_COMMAND()