124 void kvmppc_inject_interrupt(struct kvm_vcpu *vcpu, int vec, u64 flags)  in kvmppc_inject_interrupt()  argument
129 	kvmppc_set_pc(vcpu, kvmppc_interrupt_offset(vcpu) + vec);  in kvmppc_inject_interrupt()
133 static int kvmppc_book3s_vec2irqprio(unsigned int vec)  in kvmppc_book3s_vec2irqprio()  argument
137 	switch (vec) {  in kvmppc_book3s_vec2irqprio()
162 					  unsigned int vec)  in kvmppc_book3s_dequeue_irqprio()  argument
166 	clear_bit(kvmppc_book3s_vec2irqprio(vec),  in kvmppc_book3s_dequeue_irqprio()
173 void kvmppc_book3s_queue_irqprio(struct kvm_vcpu *vcpu, unsigned int vec)  in kvmppc_book3s_queue_irqprio()  argument
177 	set_bit(kvmppc_book3s_vec2irqprio(vec),  in kvmppc_book3s_queue_irqprio()
180 	printk(KERN_INFO "Queueing interrupt %x\n", vec);  in kvmppc_book3s_queue_irqprio()
213 	unsigned int vec = BOOK3S_INTERRUPT_EXTERNAL;  in kvmppc_core_queue_external()  local
216 		vec = BOOK3S_INTERRUPT_EXTERNAL_LEVEL;  in kvmppc_core_queue_external()
218 	kvmppc_book3s_queue_irqprio(vcpu, vec);  in kvmppc_core_queue_external()
248 	int vec = 0;  in kvmppc_book3s_irqprio_deliver()  local
254 		vec = BOOK3S_INTERRUPT_DECREMENTER;  in kvmppc_book3s_irqprio_deliver()
259 		vec = BOOK3S_INTERRUPT_EXTERNAL;  in kvmppc_book3s_irqprio_deliver()
262 		vec = BOOK3S_INTERRUPT_SYSTEM_RESET;  in kvmppc_book3s_irqprio_deliver()
265 		vec = BOOK3S_INTERRUPT_MACHINE_CHECK;  in kvmppc_book3s_irqprio_deliver()
268 		vec = BOOK3S_INTERRUPT_DATA_STORAGE;  in kvmppc_book3s_irqprio_deliver()
271 		vec = BOOK3S_INTERRUPT_INST_STORAGE;  in kvmppc_book3s_irqprio_deliver()
274 		vec = BOOK3S_INTERRUPT_DATA_SEGMENT;  in kvmppc_book3s_irqprio_deliver()
277 		vec = BOOK3S_INTERRUPT_INST_SEGMENT;  in kvmppc_book3s_irqprio_deliver()
280 		vec = BOOK3S_INTERRUPT_ALIGNMENT;  in kvmppc_book3s_irqprio_deliver()
283 		vec = BOOK3S_INTERRUPT_PROGRAM;  in kvmppc_book3s_irqprio_deliver()
286 		vec = BOOK3S_INTERRUPT_VSX;  in kvmppc_book3s_irqprio_deliver()
289 		vec = BOOK3S_INTERRUPT_ALTIVEC;  in kvmppc_book3s_irqprio_deliver()
292 		vec = BOOK3S_INTERRUPT_FP_UNAVAIL;  in kvmppc_book3s_irqprio_deliver()
295 		vec = BOOK3S_INTERRUPT_SYSCALL;  in kvmppc_book3s_irqprio_deliver()
298 		vec = BOOK3S_INTERRUPT_TRACE;  in kvmppc_book3s_irqprio_deliver()
301 		vec = BOOK3S_INTERRUPT_PERFMON;  in kvmppc_book3s_irqprio_deliver()
304 		vec = BOOK3S_INTERRUPT_FAC_UNAVAIL;  in kvmppc_book3s_irqprio_deliver()
313 	printk(KERN_INFO "Deliver interrupt 0x%x? %x\n", vec, deliver);  in kvmppc_book3s_irqprio_deliver()
317 		kvmppc_inject_interrupt(vcpu, vec, 0);  in kvmppc_book3s_irqprio_deliver()