Searched refs:vmptrst (Results 1 – 2 of 2) sorted by relevance
98 vmptrst(uint64_t *addr) in vmptrst() function
575 vmptrst(&cur_vmcs); in DB_SHOW_COMMAND()