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