#ifndef SOCKS_X86_64_THREAD_H_
#define SOCKS_X86_64_THREAD_H_

#include <socks/sched.h>

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