Searched refs:hyp_put_page (Results 1 – 4 of 4) sorted by relevance
64 void hyp_put_page(void *addr);
128 void hyp_put_page(void *addr) in hyp_put_page() function
170 .put_page = hyp_put_page, in __pkvm_init_finalise()
82 .put_page = hyp_put_page, in prepare_s2_pools()