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