dispatcher.h

Go to the documentation of this file.

#ifndef __DISPATCHER_H_
#define __DISPATCHER_H_

#include <kernel/pcb.h>
#include <common/stdlib.h>
#include <common/stdio.h>
#include <common/memory.h>
#include <common/queue.h>

//__attribute__((unused))static addr_t process_mem_space __attribute__((section(".bss")));

void dispatcher_init();
void process_switch();
pcb_t *get_current_pcb();
void spawn_process(void *process_function);

#endif