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);