#ifndef HOS_DEFINES_H
#define HOS_DEFINES_H

#include "hos_types.h"

#ifdef __cplusplus
extern "C" {
#endif

#define KERNEL_OFFSET           0xE0000000

#define PAGE_LOG_SIZE           12
#define PAGE_SIZE               (1 << PAGE_LOG_SIZE)
#define PAGE_HIGH_MASK          (0xFFFFFFFFu << PAGE_LOG_SIZE)
#define PAGE_LOW_MASK           (0xFFFFFFFFu >> (32 - PAGE_LOG_SIZE))

#define CONSOLE_MEMORY          0xB8000

extern  u8_t    _code;
extern  u8_t    _bss;
extern  u8_t    _end;

#define KERNEL_CODE (&_code)
#define KERNEL_BSS  (&_bss)
#define KERNEL_END  (&_end)

#define KERNEL_PHYSICAL_ADDRESS ((u32_t)(KERNEL_CODE - KERNEL_OFFSET))
#define KERNEL_VIRTUAL_ADDRESS  ((u32_t)KERNEL_CODE)
#define KERNEL_SIZE             ((u32_t)(KERNEL_END - KERNEL_CODE))

#ifdef __cplusplus
}
#endif

#endif