Searched refs:source_gpi (Results 1 – 1 of 1) sorted by relevance
1780 uint8_t source_gpi = gpi_info->gpi; in gpt_delegate() local1791 flush_page_to_popa(base | GPI_TO_NSE(source_gpi)); in gpt_delegate()1797 uint8_t source_gpi = gpi_info->gpi; in gpt_undelegate() local1814 flush_page_to_popa(base | GPI_TO_NSE(source_gpi)); in gpt_undelegate()