kernel.h

#ifndef KERNEL_H
#define KERNEL_H

typedef unsigned char      uint8_t;
typedef unsigned short     uint16_t;
typedef unsigned int       uint32_t;
typedef unsigned long long uint64_t;
typedef signed int         int32_t;
typedef unsigned int       size_t;

#define NULL ((void*)0)

/* CPU register snapshot pushed by our ISR stubs */
typedef struct {
    uint32_t gs, fs, es, ds;          /* segment regs, pushed manually    */
    uint32_t edi, esi, ebp, esp_dummy,
             ebx, edx, ecx, eax;      /* general regs via pusha           */
    uint32_t int_no, err_code;         /* pushed by our stub               */
    uint32_t eip, cs, eflags,
             useresp, ss;             /* pushed automatically by the CPU  */
} registers_t;

#endif