linux.h

#pragma once
 
#include <kernel/runtime.h>
 
struct thread_startup_t {
    int thread_id;              
    entrypoint_t * entry_point; 
    void * entry_arg;           
};
 
 
void trigger_pendsv_if_needed();