arm-common machine-specific kernel More...
Collaboration diagram for arm-common:
Macros | |
| #define | KSEG0(addr) (addr | 0x80000000) |
| #define | KSEG1(addr) (addr | 0xa0000000) |
Typedefs | |
| typedef uint8_t | ARMCommonirq_id_t |
Detailed Description
arm-common machine-specific kernel
arm-common machine-specific kernel
Typedef Documentation
| typedef uint8_t ARMCommonirq_id_t |
Define a type for IRQ identifications
Definition at line 29 of file system/include/pedigree/kernel/machine/arm_common/types.h.
