111 void kvmppc_inject_interrupt(struct kvm_vcpu *vcpu, int vec, u64 flags)  in kvmppc_inject_interrupt()  argument
113 	vcpu->kvm->arch.kvm_ops->inject_interrupt(vcpu, vec, flags);  in kvmppc_inject_interrupt()
116 static int kvmppc_book3s_vec2irqprio(unsigned int vec)  in kvmppc_book3s_vec2irqprio()  argument
120 	switch (vec) {  in kvmppc_book3s_vec2irqprio()
144 					  unsigned int vec)  in kvmppc_book3s_dequeue_irqprio()  argument
148 	clear_bit(kvmppc_book3s_vec2irqprio(vec),  in kvmppc_book3s_dequeue_irqprio()
155 void kvmppc_book3s_queue_irqprio(struct kvm_vcpu *vcpu, unsigned int vec)  in kvmppc_book3s_queue_irqprio()  argument
159 	set_bit(kvmppc_book3s_vec2irqprio(vec),  in kvmppc_book3s_queue_irqprio()
162 	printk(KERN_INFO "Queueing interrupt %x\n", vec);  in kvmppc_book3s_queue_irqprio()
270 	int vec = 0;  in kvmppc_book3s_irqprio_deliver()  local
276 		vec = BOOK3S_INTERRUPT_DECREMENTER;  in kvmppc_book3s_irqprio_deliver()
280 		vec = BOOK3S_INTERRUPT_EXTERNAL;  in kvmppc_book3s_irqprio_deliver()
283 		vec = BOOK3S_INTERRUPT_SYSTEM_RESET;  in kvmppc_book3s_irqprio_deliver()
286 		vec = BOOK3S_INTERRUPT_MACHINE_CHECK;  in kvmppc_book3s_irqprio_deliver()
289 		vec = BOOK3S_INTERRUPT_DATA_STORAGE;  in kvmppc_book3s_irqprio_deliver()
292 		vec = BOOK3S_INTERRUPT_INST_STORAGE;  in kvmppc_book3s_irqprio_deliver()
295 		vec = BOOK3S_INTERRUPT_DATA_SEGMENT;  in kvmppc_book3s_irqprio_deliver()
298 		vec = BOOK3S_INTERRUPT_INST_SEGMENT;  in kvmppc_book3s_irqprio_deliver()
301 		vec = BOOK3S_INTERRUPT_ALIGNMENT;  in kvmppc_book3s_irqprio_deliver()
304 		vec = BOOK3S_INTERRUPT_PROGRAM;  in kvmppc_book3s_irqprio_deliver()
307 		vec = BOOK3S_INTERRUPT_VSX;  in kvmppc_book3s_irqprio_deliver()
310 		vec = BOOK3S_INTERRUPT_ALTIVEC;  in kvmppc_book3s_irqprio_deliver()
313 		vec = BOOK3S_INTERRUPT_FP_UNAVAIL;  in kvmppc_book3s_irqprio_deliver()
316 		vec = BOOK3S_INTERRUPT_SYSCALL;  in kvmppc_book3s_irqprio_deliver()
319 		vec = BOOK3S_INTERRUPT_TRACE;  in kvmppc_book3s_irqprio_deliver()
322 		vec = BOOK3S_INTERRUPT_PERFMON;  in kvmppc_book3s_irqprio_deliver()
325 		vec = BOOK3S_INTERRUPT_FAC_UNAVAIL;  in kvmppc_book3s_irqprio_deliver()
334 	printk(KERN_INFO "Deliver interrupt 0x%x? %x\n", vec, deliver);  in kvmppc_book3s_irqprio_deliver()
338 		kvmppc_inject_interrupt(vcpu, vec, 0);  in kvmppc_book3s_irqprio_deliver()