#include <rst/lart.h>
#include <sys/task.h>
#include <rst/common.h>
#include <sys/divm.h>

#include <string.h>

extern "C"
{
    __invisible uintptr_t __lart_unstash()
    {
        return __dios_this_task()->__rst_stash;
    }

    __invisible void __lart_stash( uintptr_t val )
    {
        __dios_this_task()->__rst_stash = val;
    }
}