void do_fiq(arch_regs_t * uregs) { vmm_scheduler_irq_enter(uregs, FALSE); vmm_host_irq_exec(CPU_EXTERNAL_FIQ, uregs); vmm_scheduler_irq_exit(uregs); }
void do_irq(arch_regs_t *regs) { vmm_scheduler_irq_enter(regs, FALSE); vmm_host_irq_exec(EXC_HYP_IRQ_SPx); vmm_scheduler_irq_exit(regs); }
void do_hyp_fiq(arch_regs_t *regs) { vmm_scheduler_irq_enter(regs, FALSE); vmm_host_irq_exec(CPU_EXTERNAL_FIQ); vmm_scheduler_irq_exit(regs); }
void do_irq(vmm_user_regs_t * uregs) { vmm_scheduler_irq_enter(uregs, FALSE); vmm_host_irq_exec(CPU_EXTERNAL_IRQ, uregs); vmm_scheduler_irq_exit(uregs); }