Searched refs:booted (Results 1 – 17 of 17) sorted by relevance
176 static bool booted; in omap4_boot_secondary() local208 if (booted && cpu1_pwrdm && cpu1_clkdm) { in omap4_boot_secondary()247 booted = true; in omap4_boot_secondary()
17 /* Venus can be used in EL2 if booted similarly to ChromeOS devices. */
44 through XMODEM and booted from memory in the bootloader, or
116 # Get the core id of the next to be booted
10 kernel is booted without being provided with an FDT via the UHI
96 * the SPL has been booted from SD Card.
124 disabled when the kernel is booted on the pseries platform in
369 * bootloader set values when booted with v4.19 using both N950
860 * bootloader set values when booted with v5.1
13 * Note: This device tree cannot be booted directly with the Samsung bootloader.
126 xmon is normally disabled unless booted with 'xmon=on'.
646 cmp r0, #HYP_MODE @ if not booted in HYP mode...
1229 allow the kernel to be booted as an EFI application. This
44 once the kernel has booted up - it's a one time check.
1631 allow the kernel to be booted as an EFI application. This
2448 allow the kernel to be booted as an EFI application. This
1957 Enabling this feature allows a 64-bit kernel to be booted
Completed in 74 milliseconds