#ifndef KSCHEDULER_H
#define KSCHEDULER_H

#include "process.h"
#include <stdint.h>

void init_scheduler();

int create_task(uint32_t entry_point, uint32_t cr3, int user, uint32_t u_esp);
process_t* current_task();

void sleep(uint32_t ms);
void yield();
void exit();
void wake(process_t* task);

#endif