vprop_page       1066 drivers/irqchip/irq-gic-v3-its.c 		va = page_address(its_dev->event_map.vm->vprop_page);
vprop_page       2824 drivers/irqchip/irq-gic-v3-its.c 	val  = virt_to_phys(page_address(vpe->its_vm->vprop_page)) &
vprop_page       3074 drivers/irqchip/irq-gic-v3-its.c 		its_free_prop_table(vm->vprop_page);
vprop_page       3083 drivers/irqchip/irq-gic-v3-its.c 	struct page *vprop_page;
vprop_page       3097 drivers/irqchip/irq-gic-v3-its.c 	vprop_page = its_allocate_prop_table(GFP_KERNEL);
vprop_page       3098 drivers/irqchip/irq-gic-v3-its.c 	if (!vprop_page) {
vprop_page       3106 drivers/irqchip/irq-gic-v3-its.c 	vm->vprop_page = vprop_page;
vprop_page       3127 drivers/irqchip/irq-gic-v3-its.c 		its_free_prop_table(vprop_page);
vprop_page         22 include/linux/irqchip/arm-gic-v4.h 	struct page		*vprop_page;