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