__hyp_check_page_state_range
WARN_ON(__hyp_check_page_state_range(phys, size, selftest_state.hyp));
ret = __hyp_check_page_state_range(phys, size, PKVM_NOPAGE);
ret = __hyp_check_page_state_range(phys, size, PKVM_PAGE_SHARED_BORROWED);
ret = __hyp_check_page_state_range(phys, size, PKVM_NOPAGE);
ret = __hyp_check_page_state_range(phys, size, PKVM_PAGE_OWNED);
ret = __hyp_check_page_state_range(phys, size, PKVM_PAGE_SHARED_BORROWED);