get_priority       80 arch/x86/kvm/i8259.c 	priority = get_priority(s, mask);
get_priority       91 arch/x86/kvm/i8259.c 	cur_priority = get_priority(s, mask);
get_priority      243 arch/x86/kvm/i8259.c 				priority = get_priority(s, s->isr);