thread_arch.h

Go to the documentation of this file.

/*
 * Copyright (C) 2021 Koen Zandberg <koen@bergzand.net>
 *               2021 Inria
 *
 * This file is subject to the terms and conditions of the GNU Lesser General
 * Public License v2.1. See the file LICENSE in the top level directory for more
 * details.
 */
 
#pragma once

 
#include "irq.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#define THREAD_API_INLINED
 
#ifndef DOXYGEN /* Doxygen is in core/include/thread.h */
 
static inline void _ecall_dispatch(uint32_t num, void *ctx)
{
    /* function arguments are in a0 and a1 as per ABI */
    __asm__ volatile (
        "add a0, x0, %[num] \n"
        "add a1, x0, %[ctx] \n"
        "ECALL\n"
        : /* No outputs */
        :[num] "r" (num), [ctx] "r" (ctx)
        : "memory", "a0", "a1"
        );
}
 
static inline __attribute__((always_inline)) void thread_yield_higher(void)
{
    if (irq_is_in()) {
        sched_context_switch_request = 1;
    }
    else {
        _ecall_dispatch(0, NULL);
    }
}
 
#endif /* DOXYGEN */
 
#ifdef __cplusplus
}
#endif