50 lines
1.1 KiB
C
50 lines
1.1 KiB
C
|
|
#ifndef HOS_DEFINES_H
|
|
#define HOS_DEFINES_H
|
|
|
|
#include "hos_types.h"
|
|
|
|
#define KERNEL_OFFSET 0x00000000
|
|
|
|
#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
|
|
|
|
#define KERNEL_CODE (&_code)
|
|
#define KERNEL_DATA (&_data)
|
|
#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))
|
|
|
|
#define KERNEL_STACK_TOP 0x20000000
|
|
|
|
#define KERNEL_TIMER_FREQ 1000
|
|
|
|
#define BUILD_BUG_ON(condition) \
|
|
do { \
|
|
typedef struct { int negative_width_test : ((condition)?-1:1); } \
|
|
BUILD_BUG_ON_DUMMY_STRUCT; \
|
|
} \
|
|
while(0)
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
extern u8_t _code;
|
|
extern u8_t _data;
|
|
extern u8_t _bss;
|
|
extern u8_t _end;
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif
|