sys/arch/epoc32/include/epoc32.h
sys/arch/epoc32/stand/e32boot/ldd/epoc32.h