37 lines
854 B
C
37 lines
854 B
C
|
|
#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 (KERNEL_OFFSET + 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
|