Searched refs:va2pfn_dcmd (Results 1 – 3 of 3) sorted by relevance
50 extern int va2pfn_dcmd(uintptr_t addr, uint_t flags, int argc,
1006 va2pfn_dcmd },
636 va2pfn_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv) in va2pfn_dcmd() function