prop_page        1639 drivers/irqchip/irq-gic-v3-its.c 	struct page *prop_page;
prop_page        1641 drivers/irqchip/irq-gic-v3-its.c 	prop_page = alloc_pages(gfp_flags, get_order(LPI_PROPBASE_SZ));
prop_page        1642 drivers/irqchip/irq-gic-v3-its.c 	if (!prop_page)
prop_page        1645 drivers/irqchip/irq-gic-v3-its.c 	gic_reset_prop_table(page_address(prop_page));
prop_page        1647 drivers/irqchip/irq-gic-v3-its.c 	return prop_page;
prop_page        1650 drivers/irqchip/irq-gic-v3-its.c static void its_free_prop_table(struct page *prop_page)
prop_page        1652 drivers/irqchip/irq-gic-v3-its.c 	free_pages((unsigned long)page_address(prop_page),