Searched refs:BOOTSTAGE_ID_KERNEL_LOADED (Results 1 – 2 of 2) sorted by relevance
64 BOOTSTAGE_ID_KERNEL_LOADED, /* Kernel has been loaded */ enumerator
476 bootstage_mark(BOOTSTAGE_ID_KERNEL_LOADED); in bootm_load_os()