Searched refs:do_pte_dcmd (Results 1 – 1 of 1) sorted by relevance
408 do_pte_dcmd(int level, uint64_t pte) in do_pte_dcmd() function506 return (do_pte_dcmd((int)level, addr)); in pte_dcmd()912 do_pte_dcmd(level, pte); in do_ptable_dcmd()