__host_check_page_state_range
WARN_ON(__host_check_page_state_range(phys, size, selftest_state.host));
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);
ret = __host_check_page_state_range(phys, size, PKVM_NOPAGE);
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_OWNED);
ret = __host_check_page_state_range(phys, size, PKVM_PAGE_SHARED_OWNED);