Searched refs:booted (Results 1 – 11 of 11) sorted by relevance
84 static bool booted; in omap4_boot_secondary() local121 if (booted && cpu1_pwrdm && cpu1_clkdm) { in omap4_boot_secondary()160 booted = true; in omap4_boot_secondary()
17 market) are booted with the Trusted Foundations secure monitor
9 kernel is booted without being provided with an FDT via the UHI
22 This should connect you to your booted kernel (or boot it now if you
105 # Get the core id of the next to be booted
82 ;; one booted through the Etrax serial boot code.
101 xmon is normally disabled unless booted with 'xmon=on'.
125 once the kernel has booted up - it's a one time check.
1411 into virtual nodes when booted with "numa=fake=N", where N is the1796 Enabling this feature allows a 64-bit kernel to be booted
552 cmp r0, #HYP_MODE @ if not booted in HYP mode...
939 allow the kernel to be booted as an EFI application. This