Lines Matching defs:priority
272 unsigned int priority)
274 trace_kvm_booke_queue_irqprio(vcpu, priority);
275 set_bit(priority, &vcpu->arch.pending_exceptions);
414 /* Deliver the interrupt of the corresponding priority, if possible. */
416 unsigned int priority)
439 if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) {
440 priority = BOOKE_IRQPRIO_EXTERNAL;
444 if ((priority == BOOKE_IRQPRIO_EXTERNAL) && vcpu->arch.epr_flags)
447 switch (priority) {
531 vcpu->arch.ivor[priority];
553 clear_bit(priority, &vcpu->arch.pending_exceptions);
693 unsigned int priority;
695 priority = __ffs(*pending);
696 while (priority < BOOKE_IRQPRIO_MAX) {
697 if (kvmppc_booke_irqprio_deliver(vcpu, priority))
700 priority = find_next_bit(pending,
702 priority + 1);