partition_translate_id 1419 drivers/irqchip/irq-gic-v3.c 	ret = partition_translate_id(gic_data.ppi_descs[fwspec->param[1]],
partition_translate_id   22 include/linux/irqchip/irq-partition-percpu.h int partition_translate_id(struct partition_desc *desc, void *partition_id);