HelenOS sources

EXC_BASE_ADDRESS   47 kernel/arch/arm32/include/arch/exception.h #define EXC_BASE_ADDRESS  0xffff0000
EXC_BASE_ADDRESS   49 kernel/arch/arm32/include/arch/exception.h #define EXC_BASE_ADDRESS  0x0
HelenOS homepage, sources at GitHub