thread_arch.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2021 Koen Zandberg <koen@bergzand.net>
 * SPDX-FileCopyrightText: 2021 Inria
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once

 
#include "cpu_conf.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifndef DOXYGEN /* Doxygen is in core/include/thread.h */
 
#define THREAD_API_INLINED
 
static inline __attribute__((always_inline)) void thread_yield_higher(void)
{
    /* trigger the PENDSV interrupt to run scheduler and schedule new thread if
     * applicable */
    SCB->ICSR = SCB_ICSR_PENDSVSET_Msk;
    /* flush the pipeline. Otherwise we risk that subsequent instructions are
     * executed before the IRQ has actually triggered */
    __ISB();
}
 
#endif /* DOXYGEN */

int svc_dispatch_handler(unsigned int svc_number, unsigned int *svc_args);
 
#ifdef __cplusplus
}
#endif