Searched refs:hyp_get_page (Results 1 – 4 of 4) sorted by relevance
63 void hyp_get_page(void *addr);
136 void hyp_get_page(void *addr) in hyp_get_page() function
169 .get_page = hyp_get_page, in __pkvm_init_finalise()
81 .get_page = hyp_get_page, in prepare_s2_pools()