#ifndef KERNEL_HAL_HAL_H_
#define KERNEL_HAL_HAL_H_

#include <stdint.h>
#include <stddef.h>

__attribute__((noreturn)) void hal_hang(void);

void hal_init(void);
void hal_intr_disable(void);
void hal_intr_enable(void);
void hal_wait(uint32_t ms);
int32_t hal_randnum(void);

#define HAL_PAGE_SIZE 0x1000
#include "x86_64/vmm.h"
#include "x86_64/switch.h"
#include "x86_64/paging.h"
#include "x86_64/intr.h"
#include "x86_64/io.h"
#include "x86_64/gdt.h"

#endif // KERNEL_HAL_HAL_H_