PROC_BOOT_CTRL_FLAG_R5_CORE_HALT
PROC_BOOT_CTRL_FLAG_R5_CORE_HALT, 0);
0, PROC_BOOT_CTRL_FLAG_R5_CORE_HALT);
halted = ctrl & PROC_BOOT_CTRL_FLAG_R5_CORE_HALT;