Searched refs:pte_dcmd (Results 1 – 3 of 3) sorted by relevance
33 extern int pte_dcmd(uintptr_t addr, uint_t flags, int argc,
485 pte_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv) in pte_dcmd() function
946 pte_dcmd },