Searched refs:kernel_boot_once_flag (Results 1 – 1 of 1) sorted by relevance
83 static uint8_t kernel_boot_once_flag; in boot_to_kernel() local85 if (0 == kernel_boot_once_flag) { in boot_to_kernel()86 kernel_boot_once_flag = 1; in boot_to_kernel()