Searched refs:write_gpt (Results 1 – 1 of 1) sorted by relevance
1435 static inline void write_gpt(uint64_t *gpt_l1_desc, uint64_t *gpt_l1_addr, in write_gpt() function1770 write_gpt(&gpi_info->gpt_l1_desc, gpi_info->gpt_l1_addr, in gpt_write_entry()1804 write_gpt(&gpi_info->gpt_l1_desc, gpi_info->gpt_l1_addr, in gpt_undelegate()