Searched refs:vmptrst (Results 1 – 3 of 3) sorted by relevance
96 vmptrst(uint64_t *addr) in vmptrst() function
573 vmptrst(&cur_vmcs); in DB_SHOW_COMMAND()
56 "vmptrst\t$vmcs", []>, TB;