Searched refs:kernel_post (Results 1 – 1 of 1) sorted by relevance
180 uint64_t kernel_post = 0; in cpu_boot_thread() local181 PE_parse_boot_argn("kernPOST", &kernel_post, sizeof(kernel_post)); in cpu_boot_thread()182 if (kernel_post != 0) { in cpu_boot_thread()