Symbol: __register32_t
sys/arch/mips/include/types.h
44
typedef __int32_t __register32_t;
sys/arch/powerpc/include/types.h
47
typedef __uint32_t __register32_t; /* frame.h */