VECTOR_DOMAIN_PERCPU  260 arch/ia64/kernel/irq_ia64.c 	if (vector_domain_type == VECTOR_DOMAIN_PERCPU)
VECTOR_DOMAIN_PERCPU  364 arch/ia64/kernel/irq_ia64.c 		vector_domain_type = VECTOR_DOMAIN_PERCPU;