Lines Matching refs:platform_t

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);
89 static void mv_cpu_reset(platform_t plat);
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);
267 mv_platform_lastaddr(platform_t plat)  in mv_platform_lastaddr()
274 mv_platform_probe_and_attach(platform_t plate)  in mv_platform_probe_and_attach()
309 mv_platform_gpio_init(platform_t plate)  in mv_platform_gpio_init()
321 mv_a38x_platform_late_init(platform_t plate)  in mv_a38x_platform_late_init()
361 mv_axp_platform_late_init(platform_t plate)  in mv_axp_platform_late_init()
396 mv_a38x_platform_devmap_init(platform_t plat)  in mv_a38x_platform_devmap_init()
447 mv_axp_platform_devmap_init(platform_t plate)  in mv_axp_platform_devmap_init()
467 mv_cpu_reset(platform_t plat)  in mv_cpu_reset()