#include <os_internal.h>
#include <rcp.h>

s32 __osSpSetPc(u32 data)
{
    register u32 stat = IO_READ(SP_STATUS_REG);
    if (!(stat & SP_STATUS_HALT))
        return -1;
    else
    {
        IO_WRITE(SP_PC_REG, data);
    }
    return 0;
}
