Searched refs:flush_page_to_popa (Results 1 – 1 of 1) sorted by relevance
1498 static void flush_page_to_popa(uintptr_t addr) in flush_page_to_popa() function1786 flush_page_to_popa(base | GPI_TO_NSE(target_gpi)); in gpt_delegate()1791 flush_page_to_popa(base | GPI_TO_NSE(source_gpi)); in gpt_delegate()1814 flush_page_to_popa(base | GPI_TO_NSE(source_gpi)); in gpt_undelegate()1815 flush_page_to_popa(base | GPI_TO_NSE(target_gpi)); in gpt_undelegate()