1031 	struct page *prop_page;  in lpi_write_config()  local
1039 		prop_page = its_dev->event_map.vm->vprop_page;  in lpi_write_config()
1047 		prop_page = gic_rdists->prop_page;  in lpi_write_config()
1051 	cfg = page_address(prop_page) + hwirq - 8192;  in lpi_write_config()
1602 	struct page *prop_page;  in its_allocate_prop_table()  local
1604 	prop_page = alloc_pages(gfp_flags, get_order(LPI_PROPBASE_SZ));  in its_allocate_prop_table()
1605 	if (!prop_page)  in its_allocate_prop_table()
1609 	memset(page_address(prop_page),  in its_allocate_prop_table()
1614 	gic_flush_dcache_to_poc(page_address(prop_page), LPI_PROPBASE_SZ);  in its_allocate_prop_table()
1616 	return prop_page;  in its_allocate_prop_table()
1619 static void its_free_prop_table(struct page *prop_page)  in its_free_prop_table()  argument
1621 	free_pages((unsigned long)page_address(prop_page),  in its_free_prop_table()
1631 	gic_rdists->prop_page = its_allocate_prop_table(GFP_NOWAIT);  in its_alloc_lpi_tables()
1632 	if (!gic_rdists->prop_page) {  in its_alloc_lpi_tables()
1637 	paddr = page_to_phys(gic_rdists->prop_page);  in its_alloc_lpi_tables()
1973 	val = (page_to_phys(gic_rdists->prop_page) |  in its_cpu_init_lpis()