7 #include <rtos/sof.h>
8 #include <sof/ipc/driver.h>
10 #include <sof/lib/agent.h>
11 #include <sof/schedule/edf_schedule.h>
12 #include <sof/schedule/ll_schedule_domain.h>
13 #include <sof/lib/mailbox.h>
14 #include <sof/lib/dai.h>
32 static void platform_clock_init(struct sof *sof) {}  in platform_clock_init()  argument
34 int dmac_init(struct sof *sof)  in dmac_init()  argument
39 int platform_init(struct sof *sof)  in platform_init()  argument
42 	sof->platform_timer = &timer;  in platform_init()
43 	sof->cpu_timers = &timer;  in platform_init()
46 	platform_clock_init(sof);  in platform_init()
51 	/* sof->platform_timer_domain = */  in platform_init()
52 	/* timer_domain_init(sof->platform_timer, PLATFORM_DEFAULT_CLOCK, */  in platform_init()
56 	sa_init(sof, CONFIG_SYSTICK_PERIOD);  in platform_init()
59 	dmac_init(sof);  in platform_init()
62 	ipc_init(sof);  in platform_init()
64 	dai_init(sof);  in platform_init()
69 int platform_context_save(struct sof *sof)  in platform_context_save()  argument
84 LOG_MODULE_REGISTER(sof);