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