void INIT_ATTR kernel_device_init(void) { sdma_init(); spi_init(); mc13783_init(); dvfs_dptc_init(); dvfs_wfi_monitor(true); /* Monitor the WFI signal */ #ifndef BOOTLOADER dvfs_dptc_start(); /* Should be ok to start even so early */ #endif }
void kernel_device_init(void) { sdma_init(); spi_init(); mc13783_init(); }