Searched refs:get_paddr (Results 1 – 1 of 1) sorted by relevance
175 static uint64_t get_paddr(uint64_t va, uint64_t pte) in get_paddr() function228 return get_paddr(va, pte); in va_space_va2pa()