page1_base_address 1371 drivers/acpi/arm64/iort.c 	res[1].start = pmcg->page1_base_address;
page1_base_address 1372 drivers/acpi/arm64/iort.c 	res[1].end = pmcg->page1_base_address + SZ_4K - 1;
page1_base_address  240 include/acpi/actbl2.h 	u64 page1_base_address;