/************************************************************************
 * 0xc0000000 是内核从虚拟地址3G起
 * 0x100000 是内核从物理地址1M起
 *
 * 低端1MB内存中，0x00000000~0x00a0000 是低端640K内存
 * 0x00a0000~0x00f0000 是显存
 * 0x00f0000~0x0100000 是BIOS数据区
 *
 * 0xc0000000~0xc0100000 是映射到物理地址的前1MB内存
 * 0xc0100000~0xf0000000 是内核地址空间，共503MB
 * 0xf0000000~ 是保留给用户的地址空间
 ************************************************************************/
#ifndef __KERNEL_MEMORY_H
#define __KERNEL_MEMORY_H

#include "../lib/stdint.h"
#include "../lib/kernel/bitmap.h"

enum pool_flags
{
    PF_KERNEL = 1, // 内核内存池
    PF_USER = 2    // 用户内存池
};

#define PG_P_1 1  // 页表项或页目录项存在属性位, 1 表示存在
#define PG_P_0 0  // 页表项或页目录项存在属性位, 0 表示不存在
#define PG_RW_R 0 // R/W 属性位值, 读/执行
#define PG_RW_W 2 // R/W 属性位值, 读/写/执行
#define PG_US_S 0 // U/S 属性位值, 系统级
#define PG_US_U 4 // U/S 属性位值, 用户级

// 虚拟地址池，用于虚拟地址管理
struct virtual_addr
{
    Bitmap vaddr_bitmap;  // 虚拟地址用到的位图结构
    uint32_t vaddr_start; // 虚拟地址起始地址
};

extern struct pool kernel_pool, user_pool; // 内核内存池和用户内存池
void mem_init(void);                       // 内存管理初始化
uint32_t *pte_ptr(uint32_t vaddr);
uint32_t *pde_ptr(uint32_t vaddr);
void *malloc_page(enum pool_flags pf, uint32_t pg_cnt); // 申请 pg_cnt 个虚拟页
void *get_kernel_pages(uint32_t pg_cnt);                // 申请内核内存
void *get_user_pages(uint32_t pg_cnt);                  // 在用户空间申请内存
void *get_a_page(enum pool_flags pf, uint32_t vaddr);   // 将地址 vaddr 与 pf 池中的物理地址关联，仅支持一页空间分配
uint32_t addr_vaddr2phy(uint32_t vaddr);                // 得到虚拟地址映射到的物理地址

#endif // __KERNEL_MEMORY_H