page_table.h

Go to the documentation of this file.

 
#ifndef PAGE_TABLE_PAGE_TABLE_H
#define PAGE_TABLE_PAGE_TABLE_H
 
#include "fdt/fdt.h"
#include "linker/linker_defines.h"
#include "mem_layout/mem_layout.h"
 
#include <stdbool.h>
#include <stdint.h>
 
#define PAGE_SIZE LINKER_PAGE_SIZE
 
#define PTRS_PER_TABLE 512
 
#define NUM_PAGES(size) (((size) + PAGE_SIZE - 1) / PAGE_SIZE)
 
typedef struct page_permissions_t {
    bool read : 1;
 
    bool write : 1;
 
    bool execute : 1;
 
    bool user_accessible : 1;
} page_permissions_t;
 
typedef enum mem_type_t {
    DEVICE = 0,
    NORMAL,
} mem_type_t;
 
typedef struct __attribute__((packed)) table_desc_t {
    uint64_t valid : 1;
 
    uint64_t is_table : 1;
 
    uint64_t ignored_7_2 : 6;
 
    uint64_t nlta_51_50 : 2;
 
    uint64_t access_flag : 1;
 
    uint64_t ignored_11 : 1;
 
    uint64_t nlta_47_12 : 36;
 
    uint64_t nlta_49_48 : 2;
 
    uint64_t res_50 : 1;
 
    uint64_t ignored_51 : 1;
 
    uint64_t protected : 1;
 
    uint64_t ignored_58_53 : 6;
 
    uint64_t pxn_table : 1;
 
    uint64_t xn_table : 1;
 
    uint64_t ap_table : 2;
 
    uint64_t ns_table : 1;
} table_desc_t;
 
typedef struct __attribute__((packed)) page_desc_t {
    uint64_t valid : 1;
 
    uint64_t is_page : 1;
 
    uint64_t attr_indx : 3;
 
    uint64_t non_secure : 1;
 
    uint64_t ap : 2;
 
    uint64_t sh : 2;
 
    uint64_t access_flag : 1;
 
    uint64_t non_global : 1;
 
    uint64_t frame_addr_47_12 : 36;
 
    uint64_t frame_addr_49_48 : 2;
 
    uint64_t guarded_page : 1;
 
    uint64_t dirty_bit : 1;
 
    uint64_t contiguous : 1;
 
    uint64_t pxn : 1;
 
    uint64_t xn : 1;
 
    uint64_t sw_reserved : 4;
 
    uint64_t attr_indx_3 : 1;
 
    uint64_t po_index : 3;
 
    uint64_t amec : 1;
} page_desc_t;
 
typedef union __attribute__((packed)) page_table_entry_t {
    uint64_t value;
 
    struct __attribute__((packed)) {
        uint64_t valid : 1;
 
        uint64_t type : 1;
 
        uint64_t rest : 62;
    } generic; 
 
    table_desc_t table_desc;
 
    page_desc_t page_desc;
 
} page_table_entry_t;
 
typedef struct page_table_t {
    page_table_entry_t entries[PTRS_PER_TABLE];
} page_table_t;
 
bool map_page(page_table_t *root, virt_addr v_addr, phy_addr phy_addr,
          page_permissions_t perms, mem_type_t mem_typ);
 
void dump_memory_map(page_table_t *root);
 
bool setup_kernel_id_map(phy_addr serial_device_addr_base);
 
bool setup_kernel_map(memory_map_t *mmap);
 
#endif /* PAGE_TABLE_PAGE_TABLE_H */