mirror of
https://github.com/isometimes/rpi4-osdev
synced 2024-11-13 22:00:40 +00:00
58 lines
1.2 KiB
C
58 lines
1.2 KiB
C
#include "kernel.h"
|
|
#include "../include/fb.h"
|
|
|
|
char *entry_error_messages[] = {
|
|
"SYNC_INVALID_EL1t",
|
|
"IRQ_INVALID_EL1t",
|
|
"FIQ_INVALID_EL1t",
|
|
"ERROR_INVALID_EL1T",
|
|
|
|
"SYNC_INVALID_EL1h",
|
|
"IRQ_INVALID_EL1h",
|
|
"FIQ_INVALID_EL1h",
|
|
"ERROR_INVALID_EL1h",
|
|
|
|
"SYNC_INVALID_EL0_64",
|
|
"IRQ_INVALID_EL0_64",
|
|
"FIQ_INVALID_EL0_64",
|
|
"ERROR_INVALID_EL0_64",
|
|
|
|
"SYNC_INVALID_EL0_32",
|
|
"IRQ_INVALID_EL0_32",
|
|
"FIQ_INVALID_EL0_32",
|
|
"ERROR_INVALID_EL0_32"
|
|
};
|
|
|
|
void enable_interrupt_controller() {
|
|
REGS_IRQ->irq0_enable_0 = SYS_TIMER_IRQ_1 | SYS_TIMER_IRQ_3;
|
|
}
|
|
|
|
void disable_interrupt_controller() {
|
|
REGS_IRQ->irq0_enable_0 = 0;
|
|
}
|
|
|
|
void show_invalid_entry_message(int type, unsigned long esr, unsigned long address) {
|
|
debugstr(entry_error_messages[type]);
|
|
debugstr(" ESR: ");
|
|
debughex(esr);
|
|
debugstr("Addr: ");
|
|
debughex(address);
|
|
}
|
|
|
|
void handle_irq() {
|
|
unsigned int irq = REGS_IRQ->irq0_pending_0;
|
|
|
|
while(irq) {
|
|
if (irq & SYS_TIMER_IRQ_1) {
|
|
irq &= ~SYS_TIMER_IRQ_1;
|
|
|
|
handle_timer_1();
|
|
}
|
|
|
|
if (irq & SYS_TIMER_IRQ_3) {
|
|
irq &= ~SYS_TIMER_IRQ_3;
|
|
|
|
handle_timer_3();
|
|
}
|
|
}
|
|
}
|