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