784 				   uintptr_t last, unsigned int gpi)  in fill_l1_gran_desc()  argument
796 	for (i = GPT_L1_INDEX(first); i <= GPT_L1_INDEX(last); i++) {  in fill_l1_gran_desc()
799 		if (i == GPT_L1_INDEX(last)) {  in fill_l1_gran_desc()
801 				    GPT_L1_GPI_IDX(gpt_config.p, last)) << 2));  in fill_l1_gran_desc()
813 	return last + GPT_PGS_ACTUAL_SIZE(gpt_config.p);  in fill_l1_gran_desc()
829 static void fill_l1_tbl(uint64_t *l1, uintptr_t first, uintptr_t last,  in fill_l1_tbl()  argument
833 	assert(first <= last);  in fill_l1_tbl()
835 	assert((last & (GPT_PGS_ACTUAL_SIZE(gpt_config.p) - 1UL)) == 0UL);  in fill_l1_tbl()
836 	assert(GPT_L0_IDX(first) == GPT_L0_IDX(last));  in fill_l1_tbl()
839 	while (first <= last) {  in fill_l1_tbl()
841 		size_t length = last - first + GPT_PGS_ACTUAL_SIZE(gpt_config.p);  in fill_l1_tbl()
848 			first = fill_l1_gran_desc(l1, first, last, gpi);  in fill_l1_tbl()
871 	first = fill_l1_gran_desc(l1, first, last, gpi);  in fill_l1_tbl()
873 	assert(first == (last + GPT_PGS_ACTUAL_SIZE(gpt_config.p)));  in fill_l1_tbl()