Lines Matching defs:priority
246 unsigned int priority)
248 trace_kvm_booke_queue_irqprio(vcpu, priority);
249 set_bit(priority, &vcpu->arch.pending_exceptions);
385 /* Deliver the interrupt of the corresponding priority, if possible. */
387 unsigned int priority)
410 if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) {
411 priority = BOOKE_IRQPRIO_EXTERNAL;
415 if ((priority == BOOKE_IRQPRIO_EXTERNAL) && vcpu->arch.epr_flags)
418 switch (priority) {
502 vcpu->arch.ivor[priority];
524 clear_bit(priority, &vcpu->arch.pending_exceptions);
664 unsigned int priority;
666 priority = __ffs(*pending);
667 while (priority < BOOKE_IRQPRIO_MAX) {
668 if (kvmppc_booke_irqprio_deliver(vcpu, priority))
671 priority = find_next_bit(pending,
673 priority + 1);