Searched refs:host_share_guest_count (Results 1 – 2 of 2) sorted by relevance
998 if (page->host_share_guest_count == U32_MAX) { in __pkvm_host_share_guest()1004 if (page->host_share_guest_count) in __pkvm_host_share_guest()1016 page->host_share_guest_count++; in __pkvm_host_share_guest()1061 if (WARN_ON(!page->host_share_guest_count)) in __check_host_shared_guest()1093 page->host_share_guest_count--; in __pkvm_host_unshare_guest()1094 if (!page->host_share_guest_count) in __pkvm_host_unshare_guest()1382 WARN_ON(hyp_virt_to_page(virt)->host_share_guest_count != 2); in pkvm_ownership_selftest()
64 u32 host_share_guest_count; member