os/kernel/cpu/i386/tasking_helpers.h

#ifndef TASKING_HELPERS_H
#define TASKING_HELPERS_H

#include "tasking.h"

void switchTask(uint32_t stack);
uint32_t readEip();

#endif
Add tasking (No usermode support) 2019-02-11 09:30:28 -06:00			`#ifndef TASKING_HELPERS_H`
			`#define TASKING_HELPERS_H`

			`#include "tasking.h"`

Start large change of tasking system 2019-05-11 10:11:28 -05:00			`void switchTask(uint32_t stack);`
Add tasking (No usermode support) 2019-02-11 09:30:28 -06:00			`uint32_t readEip();`

			`#endif`