Searched refs:arch_preboot_os (Results 1 – 12 of 12) sorted by relevance
25 void arch_preboot_os(void) in arch_preboot_os() function
27 void arch_preboot_os(void) in arch_preboot_os() function
69 void arch_preboot_os(void);
140 void arch_preboot_os(void) in arch_preboot_os() function
48 void arch_preboot_os(void) in arch_preboot_os() function
503 __weak void arch_preboot_os(void) in arch_preboot_os() function517 arch_preboot_os(); in boot_selected_os()
234 void arch_preboot_os(void) in arch_preboot_os() function
148 void arch_preboot_os(void) in arch_preboot_os() function
383 void arch_preboot_os(void) in arch_preboot_os() function
522 void arch_preboot_os(void) in arch_preboot_os() function
286 void arch_preboot_os(void) in arch_preboot_os() function
1011 void arch_preboot_os(void) in arch_preboot_os() function