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