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
}
Example #2
0
void kernel_device_init(void)
{
    sdma_init();
    spi_init();
    mc13783_init();
}