vpt_size          409 drivers/irqchip/irq-gic-v3-its.c static void its_encode_vpt_size(struct its_cmd_block *cmd, u8 vpt_size)
vpt_size          411 drivers/irqchip/irq-gic-v3-its.c 	its_mask_encode(&cmd->raw_cmd[3], vpt_size, 4, 0);