#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_memset(void *p, int c, size_t n);
void *hal_memcpy(void *dst, const void *src, size_t n);
size_t hal_strlen(char *s);
int hal_memcmp(const void *s1, const void *s2, int len);


#if defined(__x86_64__)
# define HAL_PAGE_SIZE 0x1000
#endif

#endif // KERNEL_HAL_HAL_H_