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
56 void arch_preboot_os(void);
140 void arch_preboot_os(void) in arch_preboot_os() function
503 __weak void arch_preboot_os(void) in arch_preboot_os() function511 arch_preboot_os(); in boot_selected_os()
48 void arch_preboot_os(void) in arch_preboot_os() function
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
283 void arch_preboot_os(void) in arch_preboot_os() function
629 void arch_preboot_os(void) in arch_preboot_os() function
1011 void arch_preboot_os(void) in arch_preboot_os() function