86 static vm_offset_t mv_platform_lastaddr(platform_t plate);
87 static int mv_platform_probe_and_attach(platform_t plate);
88 static void mv_platform_gpio_init(platform_t plate);
91 static void mv_a38x_platform_late_init(platform_t plate);
92 static int mv_a38x_platform_devmap_init(platform_t plate);
93 static void mv_axp_platform_late_init(platform_t plate);
94 static int mv_axp_platform_devmap_init(platform_t plate);
100 void mv_a38x_platform_mp_setmaxid(platform_t plate);
101 void mv_a38x_platform_mp_start_ap(platform_t plate);
102 void mv_axp_platform_mp_setmaxid(platform_t plate);
103 void mv_axp_platform_mp_start_ap(platform_t plate);
270 mv_platform_probe_and_attach(platform_t plate)  in mv_platform_probe_and_attach()  argument
279 mv_platform_gpio_init(platform_t plate)  in mv_platform_gpio_init()  argument
291 mv_a38x_platform_late_init(platform_t plate)  in mv_a38x_platform_late_init()  argument
331 mv_axp_platform_late_init(platform_t plate)  in mv_axp_platform_late_init()  argument
417 mv_axp_platform_devmap_init(platform_t plate)  in mv_axp_platform_devmap_init()  argument
431 	mv_a38x_platform_devmap_init(plate);  in mv_axp_platform_devmap_init()