void platform_exit(void) { msm_i2c_remove(); msm_prepare_clocks(); msm_gpio_deinit(); platform_deinit_timer(); arch_disable_cache(UCACHE); arch_disable_mmu(); platform_deinit_interrupts(); }
void platform_uninit(void) { leds_deinit(); platform_deinit_interrupts(); }
void platform_exit(void) { target_exit(); platform_uninit_timer(); platform_deinit_interrupts(); }