Searched refs:arch_kernel_init (Results 1 – 16 of 16) sorted by relevance
23 static inline void arch_kernel_init(void) in arch_kernel_init() function
30 static inline void arch_kernel_init(void) in arch_kernel_init() function
29 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
27 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
33 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
35 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
31 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
41 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
614 static inline void arch_kernel_init(void);
47 arch_kernel_init() for the primary core, and at the end of arch_secondary_cpu_init()
758 arch_kernel_init(); in z_cstart()
302 beginning of z_cstart(), via arch_kernel_init(). This driver enables
