---

paging.h

Go to the documentation of this file.

/*!     \file include/arch/paging.h
 *      \brief Paging header.
 *      \author Andrea Righi <drizzt@inwind.it>
 *      \date Last update: 2003-12-16
 *      \note Copyright (&copy;) 2003 Andrea Righi
 */

#ifndef PAGING_H
#define PAGING_H

// Kernel virtual memory map                                            //
#include <kernel/kernel_map.h>

//! The page size.
#define PAGE_SIZE       4096U

//! Page present flag.
#define P_PRESENT       0x01
//! Page writeable flag.
#define P_WRITE         0x02
//! Page at user privilege level.
#define P_USER          0x04
//! Page accessed flag.
#define P_ACCESSED      0x20
//! Page dirty flag (the page has been written).
#define P_DIRTY         0x40

//! 16MB expressed in pages.
#define P_ADDR_16MB             (0x1000000 / PAGE_SIZE)
//! 4GB expressed in pages.
#define P_ADDR_4GB              0x100000

//! Rounds an address up to a page boundary.
#define PAGE_ALIGN_UP(addr)     (((addr) + PAGE_SIZE - 1) & -PAGE_SIZE)
//! Rounds an address down to a page boundary.
#define PAGE_ALIGN(addr)        ((addr) & -PAGE_SIZE)
//! Rounds an address up to a page directory boundary.
#define PAGE_DIR_ALIGN_UP(addr) (((addr) & -(PAGE_SIZE*1024)) + PAGE_SIZE*1024)
//! Rounds an address down to a page directory boundary.
#define PAGE_DIR_ALIGN(addr)    ((addr) & -(PAGE_SIZE*1024))

//! Converts from address to page.
#define ADDR_TO_PAGE(addr)      (addr / PAGE_SIZE)
//! Converts from page to address
#define PAGE_TO_ADDR(p_addr)    (p_addr * PAGE_SIZE)
//! Get current page directory base address.
#define GET_PDBR()              (*ADDR_TO_PDE(PAGE_TABLE_MAP) & -PAGE_SIZE)

//! Access to the page directory entry referred to the
//! virtual address \p addr.
#define ADDR_TO_PDE(addr)       (dword *)(PAGE_DIR_MAP + (((dword) (addr) / (1024 * 1024))&(~0x3)))

//! Access to the page table entry referred to the
//! virtual address \p addr.
#define ADDR_TO_PTE(addr)       (dword *)(PAGE_TABLE_MAP + ((((dword) (addr) / 1024))&(~0x3)))

//! Access to an address into the mapped physical memory area.
#define PHYSICAL(addr)          (addr+PHYS_MEM_START)

//! Page table structure.
typedef struct PAGE_TABLE
{
        dword entry[1024];
} page_table_t;

//! Flush a single entry into the TLB cache (address translation).
//! \param addr
//!     The virtual address of the page that must be invalidated.
#define flush_tlb_single(addr) \
        __asm__ __volatile__("invlpg %0": :"m" (*(char *) addr))

//! Flush every entry into the TLB cache (address translation).
#define flush_tlb_all() \
        do {                                                            \
                unsigned int tmpreg;                                    \
                                                                        \
                __asm__ __volatile__(                                   \
                        "movl %%cr3, %0;  # flush TLB \n"               \
                        "movl %0, %%cr3;              \n"               \
                        : "=r" (tmpreg)                                 \
                        :: "memory");                                   \
        } while (0)


/** \ingroup Memory
 *  \defgroup Paging Paging
 *  The page manager module.
 *  @{
 */

void init_paging();
dword pop_frame();
void push_frame(dword p_addr);
bool map_page(dword vir_addr, dword phys_addr, word attribs);
void unmap_page(dword vir_addr);
void delete_page(dword vir_addr);
void *get_temp_page();
void free_temp_page(void *p, bool do_delete);
dword vir_to_phys(dword vir_addr);
int page_fault_handler(dword err_code, dword cr2);
void dump_dirty_pages();
void dump_free_frames();
void check_free_frames_integrity();

/** @} */ // end of Paging

#endif

---