2024-11-02 11:31:51 +00:00
|
|
|
#ifndef MANGO_X86_64_THREAD_H_
|
|
|
|
|
#define MANGO_X86_64_THREAD_H_
|
2023-04-30 14:27:57 +01:00
|
|
|
|
2024-11-02 11:31:51 +00:00
|
|
|
#include <mango/sched.h>
|
2023-04-30 14:27:57 +01:00
|
|
|
|
|
|
|
|
extern void switch_to(struct thread *from, struct thread *to);
|
|
|
|
|
extern void prepare_stack(uintptr_t ip, uintptr_t *sp);
|
|
|
|
|
extern void user_jump(uintptr_t ip, uintptr_t sp);
|
|
|
|
|
|
|
|
|
|
#endif
|
