blob: fbc60c03effbad67e47936ef3e545ec6b9a50b67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <printf.h>
#include <stdint.h>
#include <isv.h>
#include <panic.h>
__attribute__((interrupt)) void spurrious_int(void *unused) {
printf("Detected spurrious interrupt, doing nothing.\n");
}
|