Searched refs:arch_preboot_os (Results 1 – 18 of 18) sorted by relevance
26 void arch_preboot_os(void) in arch_preboot_os() function
28 void arch_preboot_os(void) in arch_preboot_os() function
472 __weak void arch_preboot_os(uint32_t bootm_state, bootm_headers_t *images) in arch_preboot_os() function480 arch_preboot_os(state, images); in boot_selected_os()
781 arch_preboot_os(BOOTM_STATE_OS_PREP, images); in do_bootm_states()
57 void arch_preboot_os(uint32_t bootm_state, bootm_headers_t *images);
141 void arch_preboot_os(void) in arch_preboot_os() function
49 void arch_preboot_os(void) in arch_preboot_os() function
234 void arch_preboot_os(void) in arch_preboot_os() function
149 void arch_preboot_os(void) in arch_preboot_os() function
276 void arch_preboot_os(void) in arch_preboot_os() function
384 void arch_preboot_os(void) in arch_preboot_os() function
630 void arch_preboot_os(void) in arch_preboot_os() function
1013 void arch_preboot_os(void) in arch_preboot_os() function