platform_obj
PLATFORM_PL310_INIT(platform_obj(), sc);
PLATFORM_PL310_WRITE_CTRL(platform_obj(), sc, val);
PLATFORM_PL310_WRITE_DEBUG(platform_obj(), sc, val);
platform_t platform_obj(void);