#ifndef _JOVE_x86_64_OBJECT_H
#define _JOVE_x86_64_OBJECT_H 1

#include <stdint.h>

#ifndef KERNEL_STACKBYTES
#define KERNEL_STACKBYTES 4096
#endif

typedef struct jove_InitData
{
    uint8_t log_object;
    uint16_t untyped_data_dir;
    uint16_t processor_dir;
    uint8_t pm_object; //Page mapping object.
    uint16_t initrd_dir; //Init ramdisk files directory.
    uint8_t tcb_object;
    uint8_t message_object;
    uintptr_t message_object_address;
} init_data_t;

typedef struct jove_ThreadControlBlock
{
    void *stack;
    uintptr_t sp, ksp;
    void *pml4;
    uint8_t kstack[KERNEL_STACKBYTES];
} tcb_t;

#endif