Searched refs:guest_walk_to_gpa (Results 1 – 2 of 2) sorted by relevance
376 static inline paddr_t guest_walk_to_gpa(const walk_t *gw) in guest_walk_to_gpa() function
3258 gpa = guest_walk_to_gpa(&gw); in sh_page_fault()
Completed in 12 milliseconds