1 // © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 // Thread functions used only by the boot code.
6 
7 // Switch to the idle thread at the end of the boot sequence.
8 noreturn void
9 thread_boot_set_idle(void) REQUIRE_PREEMPT_DISABLED;
10