vpt_pa            404 drivers/irqchip/irq-gic-v3-its.c static void its_encode_vpt_addr(struct its_cmd_block *cmd, u64 vpt_pa)
vpt_pa            406 drivers/irqchip/irq-gic-v3-its.c 	its_mask_encode(&cmd->raw_cmd[3], vpt_pa >> 16, 51, 16);