1 /*
2  * Copyright (c) 2015 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #include <lk/compiler.h>
9 #include <lk/trace.h>
10 #include <arch/microblaze.h>
11 #include <kernel/thread.h>
12 
13 void microblaze_irq(void) __attribute__((interrupt_handler));
14 
15 enum handler_return platform_irq_handler(void);
16 
microblaze_irq(void)17 void microblaze_irq(void) {
18     if (platform_irq_handler() == INT_RESCHEDULE)
19         thread_preempt();
20 }
21 
22