Symbol: platform_obj
sys/arm/arm/pl310.c
104
PLATFORM_PL310_INIT(platform_obj(), sc);
sys/arm/arm/pl310.c
111
PLATFORM_PL310_WRITE_CTRL(platform_obj(), sc, val);
sys/arm/arm/pl310.c
118
PLATFORM_PL310_WRITE_DEBUG(platform_obj(), sc, val);
sys/arm/include/platformvar.h
118
platform_t platform_obj(void);