pagination.h

Aller à la documentation de ce fichier.

#ifndef _PAGINATION_H_
#define _PAGINATION_H_

#include <types.h>

#define _PAGINATION_KERNEL_TOP 0x40000000

struct  page_directory_entry {
        uint32_t present:1;                             
        uint32_t r_w:1;                                 
        uint32_t u_s:1;                                 
        uint32_t pwt:1;                                 
        uint32_t pcd:1;                                 
        uint32_t a:1;                                           
        uint32_t ign1:1;                                        
        uint32_t ps:1;                                          
        uint32_t ign2:4;                                        
        uint32_t page_table_addr:20;    
} __attribute__ ((packed));

struct page_table_entry {
        uint32_t present:1;             
        uint32_t r_w:1;                 
        uint32_t u_s:1;                 
        uint32_t pwt:1;                 
        uint32_t pcd:1;                 
        uint32_t a:1;                           
        uint32_t d:1;                           
        uint32_t pat:1;                 
        uint32_t g:1;                           
        uint32_t ignored:3;             
        uint32_t page_addr:20;  
} __attribute__ ((packed));


void pagination_setup();

void pagination_init_page_directory(struct page_directory_entry * pd);
void pagination_init_page_directory_copy_kernel_only(struct page_directory_entry *pd, paddr_t pd_paddr); 

static inline void pagination_load_page_directory(struct page_directory_entry * pd) __attribute__((always_inline));

/*
 * Chargement d'un page directory
 */
static inline void pagination_load_page_directory(struct page_directory_entry * pd) {
        // On place le rep dans le registre cr3
        asm volatile("mov %0, %%cr3":: "b"(pd));
}

void pagination_load_page_directory(struct page_directory_entry * pd);

vaddr_t get_page_table_vaddr(int index_page); 

#endif