vpeid             374 drivers/irqchip/irq-gic-v3-its.c static void its_encode_vpeid(struct its_cmd_block *cmd, u16 vpeid)
vpeid             376 drivers/irqchip/irq-gic-v3-its.c 	its_mask_encode(&cmd->raw_cmd[1], vpeid, 47, 32);