20 #ifndef KERNEL_MACHINE_MIPS_COMMON_TYPES_H 21 #define KERNEL_MACHINE_MIPS_COMMON_TYPES_H 23 #include "pedigree/kernel/processor/types.h" 31 #define KSEG0(addr) (addr | 0x80000000) 32 #define KSEG1(addr) (addr | 0xa0000000) 33 #define IS_KUSEG(addr) (addr < 0x80000000) 34 #define IS_KSEG0(addr) (addr >= 0x80000000 && addr < 0xa0000000) 35 #define IS_KSEG1(addr) (addr >= 0xa0000000 && addr < 0xc0000000) 36 #define IS_KSEG2(addr) (addr >= 0xc0000000) uint8_t MIPSCommonirq_id_t