// See LICENSE for license details.
#include <platform.h>
+#include <smp.h>
#include "common.h"
.section .text.init
.option norvc
.globl _prog_start
_prog_start:
+ smp_pause(s1, s2)
li sp, (PAYLOAD_DEST + 0x7fff000)
call main
+ smp_resume(s1, s2)
csrr a0, mhartid
la a1, dtb
li s1, PAYLOAD_DEST