vpt_addr          597 drivers/irqchip/irq-gic-v3-its.c 	unsigned long vpt_addr;
vpt_addr          600 drivers/irqchip/irq-gic-v3-its.c 	vpt_addr = virt_to_phys(page_address(desc->its_vmapp_cmd.vpe->vpt_page));
vpt_addr          607 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpt_addr(cmd, vpt_addr);