its_encode_db_phys_id  630 drivers/irqchip/irq-gic-v3-its.c 	its_encode_db_phys_id(cmd, db);
its_encode_db_phys_id  653 drivers/irqchip/irq-gic-v3-its.c 	its_encode_db_phys_id(cmd, db);