Searched refs:mdb_page2pfn (Results 1 – 3 of 3) sorted by relevance
52 extern pfn_t mdb_page2pfn(uintptr_t);
127 mdb_page2pfn { FLAGS = EXTERN };
793 mdb_page2pfn(uintptr_t addr) in mdb_page2pfn() function