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