63 lines
1.9 KiB
C
63 lines
1.9 KiB
C
#ifndef PAGING_H
|
|
#define PAGING_H
|
|
|
|
#include "../include/stdio.h"
|
|
#include "../include/multiboot.h"
|
|
#include <stdint.h>
|
|
|
|
#define PAGE_OFFSET 0xC0000000
|
|
#define PAGE_SIZE 4096
|
|
#define PAGE_SHIFT 0x0C
|
|
|
|
#define PAGE_MASK ~(PAGE_SIZE - 1) /* 0xFFFFF000 */
|
|
#define PAGE_ALIGN(addr) (((addr) + (PAGE_SIZE - 1)) & PAGE_MASK)
|
|
|
|
#define PAGE_PRESENT 0x1
|
|
#define PAGE_RW 0x002 /* Read/Write */
|
|
#define PAGE_USER 0x004 /* User */
|
|
#define PAGE_NOALLOC 0x200 /* No Page Allocated (OS managed) */
|
|
|
|
#define GDT_BASE (0xFFFFFFFF - (PAGE_OFFSET - 1))
|
|
|
|
#define GET_PGDIR(address) ((uint32_t)((address) >> 22) & 0x3FF)
|
|
#define GET_PGTBL(address) ((uint32_t)((address) >> 12) & 0x3FF)
|
|
|
|
// Общий размер памяти
|
|
#define MEMORY_SIZE (0xFFFFFFFF-0xC0000000)
|
|
|
|
// Количество страниц
|
|
#define PAGE_COUNT (MEMORY_SIZE / PAGE_SIZE)
|
|
|
|
// Размер битмапа в байтах (округлено вверх)
|
|
#define BITMAP_SIZE (PAGE_COUNT / 8)
|
|
|
|
extern uint32_t kernel_page_directory[1024] __attribute__((aligned(4096)));
|
|
extern uint32_t kernel_page_table[1024] __attribute__((aligned(4096)));
|
|
extern uint32_t user_page_table[1024] __attribute__((aligned(4096)));
|
|
|
|
extern uint32_t *kpage_dir;
|
|
|
|
//paging.c
|
|
void grub_memory_map(unsigned int magic, struct multiboot_info* mbi);
|
|
uint32_t* get_page_dir();
|
|
void set_page_dir(uint32_t new_page_dir);
|
|
void enablePaging();
|
|
void loadPageDirectory(uint32_t* page_directory);
|
|
|
|
//page_alloc.c
|
|
void set_bit(uint32_t page_index);
|
|
void clear_bit(uint32_t page_index);
|
|
void init_allocator();
|
|
void* alloc_page();
|
|
void free_page(void* physaddr);
|
|
|
|
//page_tables.c
|
|
void *get_physaddr(void *virtualaddr);
|
|
uint32_t get_pte(void *virtualaddr);
|
|
void map_page(void* physaddr, void* virtualaddr, unsigned int flags);
|
|
void unmap_page(void *virtualaddr);
|
|
void map_kernel_page(void* virtualaddr, unsigned int flags);
|
|
void* setup_user_process(void* user_code_phys, uint32_t* user_stack_top);
|
|
|
|
#endif
|