paging.h

浏览该文件的文档.

/*************************************************************************
    > File Name: kernel/paging.h
      > Author: Netcan
      > Blog: http://www.netcan666.com
      > Mail: 1469709759@qq.com
      > Created Time: 2018-07-13 Fri 16:59:08 CST
 ************************************************************************/

#include <io.h>
#include <int_handler.h>
#ifndef PAGING_H
#define PAGING_H
#define FRAME_INDEX_FROM_BITSET(addr) ((addr) / 32)
#define FRAME_OFFSET_FROM_BITSET(addr)  ((addr) % 32)

typedef struct {
    u32 present         :1; 
    u32 writeable       :1; 
    u32 user            :1; 
    u32 reversed_lo     :2; 
    u32 accessed        :1; 
    u32 dirty           :1; 
    u32 reversed_hi     :2; 
    u32 available       :3; 
    u32 frame           :20;
} page_t;

typedef struct {
    page_t pages[1024]; 
} page_table_t;


typedef struct {
    page_table_t *tables[1024]; 
    u32 tables_physical[1024];  
    u32 physical_address; 
} page_directory_t;

void init_paging();
void switch_page_directory(page_directory_t *dir);
page_t *get_page(u32 address, int make, page_directory_t *dir);
void page_fault(registers_t regs);
void alloc_frame(page_t *page, int is_kernel, int is_writeable, u32 frame_addr);
void free_frame(page_t *page);
#endif