#ifndef _KERNEL_AMD64_PROC_H
#define _KERNEL_AMD64_PROC_H

#include <amd64/intr.h>
#include <libk/std.h>

/// Top of userspace process' stack
#define PROC_USTACK_TOP 0x00007FFFFFFFF000ULL
/// Size of userspace process' stack
#define USTACK_SIZE (256 * PAGE_SIZE)

/// Platform-dependent process data
struct proc_platformdata {
  struct saved_regs regs;
  uintptr_t user_stack;
  uintptr_t kernel_stack;
  uint64_t gs_base;
};

#endif // _KERNEL_AMD64_PROC_H
