Searched refs:machine_to_phys (Results 1 – 2 of 2) sorted by relevance
64 static inline xpaddr_t machine_to_phys(xmaddr_t machine) in machine_to_phys() function
175 static inline xpaddr_t machine_to_phys(xmaddr_t machine) in machine_to_phys() function