mv_a38x_platform_pl310_init
void mv_a38x_platform_pl310_init(platform_t plat, struct pl310_softc *sc);
PLATFORMMETHOD(platform_pl310_init, mv_a38x_platform_pl310_init),