db_phys_id        384 drivers/irqchip/irq-gic-v3-its.c static void its_encode_db_phys_id(struct its_cmd_block *cmd, u32 db_phys_id)
db_phys_id        386 drivers/irqchip/irq-gic-v3-its.c 	its_mask_encode(&cmd->raw_cmd[2], db_phys_id, 63, 32);