Searched refs:__pkvm_hyp_donate_host (Results 1 – 3 of 3) sorted by relevance
69 int __pkvm_hyp_donate_host(u64 pfn, u64 nr_pages);
284 WARN_ON(__pkvm_hyp_donate_host(hyp_virt_to_pfn(addr), 1)); in reclaim_guest_pages()1184 int __pkvm_hyp_donate_host(u64 pfn, u64 nr_pages) in __pkvm_hyp_donate_host() function
429 WARN_ON(__pkvm_hyp_donate_host(hyp_virt_to_pfn(va), in __unmap_donated_memory()