#ifndef _SCHED_H
#define _SCHED_H

#include <stdint.h>

struct task_state {
  uint32_t ss;
  uint32_t esp;
  uint32_t eflags;
  uint32_t cs;
  uint32_t eip;
  uint32_t eax;
  uint32_t ecx;
  uint32_t edx;
  uint32_t ebx;
  uint32_t esp_garbage;
  uint32_t ebp;
  uint32_t esi;
  uint32_t edi;
} __attribute__((packed));

struct task_struct {
  struct task_state state;
} __attribute__((packed));

void userspace_init(void);

#endif