- Set up the real-mode IDT.
[AROS.git] / arch / ppc-sam440 / kernel / kernel_arch.h
blob5c0d8779c9214bc4c48a3314d15aba51edf66abc
1 /*
2 * Machine-specific definitions.
4 * This file needs to be replaced for every machine. Hosted ports
5 * may share the same file in arch/all-$(ARCH)/kernel/kernel_arch.h
7 * This file is just a sample providing necessary minimum.
8 */
9 #include <asm/amcc440.h>
10 #include "kernel_cpu.h"
12 struct KernelBase;
14 /* Number of IRQs used in the machine. Needed by kernel_base.h */
15 #define IRQ_COUNT 256
18 * Interrupt controller functions. Actually have the following prototypes:
20 * void ictl_enable_irq(uint8_t num);
21 * void ictl_disable_irq(uint8_t num);
24 static inline void ictl_enable_irq(int irq, struct KernelBase *base)
26 /* Call the architecture specific syscall */
27 krnSysCall1(SC_IRQ_ENABLE, irq);
30 static inline void ictl_disable_irq(int irq, struct KernelBase *base)
32 /* Call the architecture specific syscall */
33 krnSysCall1(SC_IRQ_DISABLE, irq);