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
17 static ALWAYS_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
32 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
42 static ALWAYS_INLINE void arch_kernel_init(void) in arch_kernel_init() function
631 static inline void arch_kernel_init(void);
74 arch_kernel_init() for the primary core, and at the end of arch_secondary_cpu_init()
547 arch_kernel_init(); in z_cstart()
323 beginning of z_cstart(), via arch_kernel_init(). This driver enables
