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.
9 #include <asm/amcc440.h>
10 #include "kernel_cpu.h"
14 /* Number of IRQs used in the machine. Needed by kernel_base.h */
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
);