Searched refs:do_pte_dcmd (Results 1 – 1 of 1) sorted by relevance
409 do_pte_dcmd(int level, uint64_t pte) in do_pte_dcmd() function524 return (do_pte_dcmd(level, pte)); in pte_dcmd()940 do_pte_dcmd(level, pte); in do_ptable_dcmd()