mv_a38x_platform_pl310_write_debug
void mv_a38x_platform_pl310_write_debug(platform_t plat, struct pl310_softc *sc, uint32_t val);
PLATFORMMETHOD(platform_pl310_write_debug, mv_a38x_platform_pl310_write_debug),