platform_pl310_write_ctrl
platform_pl310_write_ctrl(sc, CTRL_DISABLED);
platform_pl310_write_ctrl(sc, CTRL_ENABLED);
void platform_pl310_write_ctrl(struct pl310_softc *, uint32_t);
PLATFORMMETHOD(platform_pl310_write_ctrl, mv_a38x_platform_pl310_write_ctrl),