partition_get_domain 1392 drivers/irqchip/irq-gic-v3.c 		return d == partition_get_domain(gic_data.ppi_descs[fwspec->param[1]]);
partition_get_domain   28 include/linux/irqchip/irq-partition-percpu.h struct irq_domain *partition_get_domain(struct partition_desc *dsc);