vpt_page          600 drivers/irqchip/irq-gic-v3-its.c 	vpt_addr = virt_to_phys(page_address(desc->its_vmapp_cmd.vpe->vpt_page));
vpt_page         2831 drivers/irqchip/irq-gic-v3-its.c 	val  = virt_to_phys(page_address(vpe->vpt_page)) &
vpt_page         3016 drivers/irqchip/irq-gic-v3-its.c 	struct page *vpt_page;
vpt_page         3025 drivers/irqchip/irq-gic-v3-its.c 	vpt_page = its_allocate_pending_table(GFP_KERNEL);
vpt_page         3026 drivers/irqchip/irq-gic-v3-its.c 	if (!vpt_page) {
vpt_page         3033 drivers/irqchip/irq-gic-v3-its.c 		its_free_pending_table(vpt_page);
vpt_page         3038 drivers/irqchip/irq-gic-v3-its.c 	vpe->vpt_page = vpt_page;
vpt_page         3048 drivers/irqchip/irq-gic-v3-its.c 	its_free_pending_table(vpe->vpt_page);
vpt_page           33 include/linux/irqchip/arm-gic-v4.h 	struct page 		*vpt_page;