Searched refs:rmi_undelegate_page (Results 1 – 2 of 2) sorted by relevance
80 static inline int rmi_undelegate_page(phys_addr_t phys) in rmi_undelegate_page() function
175 if (WARN_ON_ONCE(rmi_undelegate_page(phys))) { in rmi_free_delegated_page()