memory.h

Go to the documentation of this file.

 
#ifndef KERNEL_MEMORY_H
#define KERNEL_MEMORY_H
 
#if ARCH == i686
#include <kernel/arch/i686/memory.h>
#endif
 
#ifndef KERNEL_STACK_SIZE
#define KERNEL_STACK_SIZE 0x4000U 
#endif
 
#ifndef USER_STACK_SIZE
#define USER_STACK_SIZE 0x10000U 
#endif
 
#ifndef __ASSEMBLER__
 
#include <utils/compiler.h>
#include <utils/math.h>
 
/* We want to allocate stacks using the VM API, which can only allocate pages */
static_assert(is_aligned(KERNEL_STACK_SIZE, PAGE_SIZE));
static_assert(is_aligned(USER_STACK_SIZE, PAGE_SIZE));
 
#endif
 
/* Starting from #6, our kernel uses the higher-half design.
 *
 * This means that the kernel code's virtual address differs from its physical
 * one. The following constants are used by the linker script and should be
 * used by the functions that depend on them instead of hardcoding values.
 */
 
#define KERNEL_IS_HIGHER_HALF 1
 
// TODO: These values are duplicated inside the linkerscript
//       We should maybe find a way to include this header before linking the
//       kernel to avoid conflicts
 
#define KERNEL_PHYSICAL_START 0x00100000UL
#define KERNEL_HIGHER_HALF_OFFSET 0xC0000000UL
 
#ifdef __ASSEMBLER__
 
#define KERNEL_HIGHER_HALF_PHYSICAL(_virtual) \
    ((_virtual) - KERNEL_HIGHER_HALF_OFFSET)
#define KERNEL_HIGHER_HALF_VIRTUAL(_physical) \
    ((_physical) + KERNEL_HIGHER_HALF_OFFSET)
 
#else
 
#define KERNEL_HIGHER_HALF_PHYSICAL(_virtual) \
    ((u32)(_virtual) - KERNEL_HIGHER_HALF_OFFSET)
#define KERNEL_HIGHER_HALF_VIRTUAL(_physical) \
    ((u32)(_physical) + KERNEL_HIGHER_HALF_OFFSET)
 
#include <kernel/types.h>
 
extern u32 _kernel_code_start;
#define KERNEL_CODE_START ((u32) & _kernel_code_start)
 
extern u32 _kernel_code_end;
#define KERNEL_CODE_END ((u32) & _kernel_code_end)
 
#endif /* __ASSEMBLER__ */
 
#define PAGE_TABLES_START (0xFFC00000)
 
#define KERNEL_VMM_RESERVED_END (PAGE_TABLES_START)
#define KERNEL_VMM_RESERVED_START (KERNEL_VMM_RESERVED_END - VMM_RESERVED_SIZE)
#define KERNEL_ADDRESS_SPACE_END (KERNEL_VMM_RESERVED_START)
#define KERNEL_ADDRESS_SPACE_START (KERNEL_CODE_END)
 
#define KERNEL_MEMORY_END (ADDRESS_SPACE_END)
#define KERNEL_MEMORY_START (KERNEL_HIGHER_HALF_OFFSET)
 
#define USER_MEMORY_END KERNEL_MEMORY_START
#define USER_MEMORY_START VMM_RESERVED_END
 
#define VMM_RESERVED_END 0x100000UL
#define VMM_RESERVED_START NULL_PAGE_END
#define VMM_RESERVED_SIZE (VMM_RESERVED_END + VMM_RESERVED_START)
 
#define NULL_PAGE_SIZE PAGE_SIZE
#define NULL_PAGE_START 0x0
#define NULL_PAGE_END (NULL_PAGE_START + NULL_PAGE_SIZE)
 
#define PAGE_ALIGN_DOWN(_ptr) align_down_ptr(_ptr, PAGE_SIZE)
#define PAGE_ALIGN_UP(_ptr) align_up_ptr(_ptr, PAGE_SIZE)
#define PAGE_ALIGNED(_ptr) is_aligned_ptr(_ptr, PAGE_SIZE)
 
#endif /* KERNEL_MEMORY_H */