Lines Matching defs:gpt_l1_desc
1350 static inline void write_gpt(uint64_t *gpt_l1_desc, uint64_t *gpt_l1_addr,
1354 *gpt_l1_desc &= ~(GPT_L1_GRAN_DESC_GPI_MASK << gpi_shift);
1355 *gpt_l1_desc |= ((uint64_t)target_pas << gpi_shift);
1356 gpt_l1_addr[idx] = *gpt_l1_desc;
1395 * Helper to retrieve the gpt_l1_desc and GPI information from gpi_info.
1400 gpi_info->gpt_l1_desc = (gpi_info->gpt_l1_addr)[gpi_info->idx];
1402 if ((gpi_info->gpt_l1_desc & GPT_L1_TYPE_CONT_DESC_MASK) ==
1405 gpi_info->gpi = (unsigned int)GPT_L1_CONT_GPI(gpi_info->gpt_l1_desc);
1408 gpi_info->gpi = (unsigned int)((gpi_info->gpt_l1_desc >> gpi_info->gpi_shift) &
1666 unsigned long level = GPT_L1_CONT_CONTIG(gpi_info->gpt_l1_desc) - 1UL;
1678 gpi_info->gpt_l1_desc = l1_desc;
1776 if ((gpi_info.gpt_l1_desc & GPT_L1_TYPE_CONT_DESC_MASK) ==
1789 write_gpt(&gpi_info.gpt_l1_desc, gpi_info.gpt_l1_addr,
1801 if (gpi_info.gpt_l1_desc == l1_desc) {
1904 if ((gpi_info.gpt_l1_desc & GPT_L1_TYPE_CONT_DESC_MASK) ==
1915 write_gpt(&gpi_info.gpt_l1_desc, gpi_info.gpt_l1_addr,
1933 write_gpt(&gpi_info.gpt_l1_desc, gpi_info.gpt_l1_addr,
1940 if (gpi_info.gpt_l1_desc == GPT_L1_NS_DESC) {