khypervisor  v1
Data Structures | Defines | Enumerations | Functions
lpae.h File Reference
#include <arch_types.h>
Include dependency graph for lpae.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  lpae_pt_t
struct  lpae_p2m_t
struct  lpae_walk_t
union  lpaed_t

Defines

#define LPAE_PAGE_SHIFT   12
#define LPAE_PAGE_SIZE   (1<<LPAE_PAGE_SHIFT)
#define LPAE_PAGE_MASK   (0xFFF)
#define LPAE_BLOCK_L2_SHIFT   21
#define LPAE_BLOCK_L2_SIZE   (1<<LPAE_BLOCK_L2_SHIFT)
#define LPAE_BLOCK_L2_MASK   (0x1FFFFF)
#define ATTR_IDX_UNCACHED   0x0
#define ATTR_IDX_BUFFERABLE   0x1
#define ATTR_IDX_WRITETHROUGH   0x2
#define ATTR_IDX_WRITEBACK   0x3
#define ATTR_IDX_DEV_SHARED   0x4
#define ATTR_IDX_WRITEALLOC   0x7
#define ATTR_IDX_DEV_NONSHARED   DEV_SHARED
#define ATTR_IDX_DEV_WC   BUFFERABLE
#define ATTR_IDX_DEV_CACHED   WRITEBACK

Enumerations

enum  lpaed_stage2_memattr_t {
  LPAED_STAGE2_MEMATTR_SO = 0x0, LPAED_STAGE2_MEMATTR_DM = 0x1, LPAED_STAGE2_MEMATTR_NORMAL_ONC = 0x4, LPAED_STAGE2_MEMATTR_NORMAL_OWT = 0x8,
  LPAED_STAGE2_MEMATTR_NORMAL_OWB = 0xC, LPAED_STAGE2_MEMATTR_NORMAL_INC = 0x1, LPAED_STAGE2_MEMATTR_NORMAL_IWT = 0x2, LPAED_STAGE2_MEMATTR_NORMAL_IWB = 0x3
}

Functions

lpaed_t hvmm_mm_lpaed_l1_block (uint64_t pa, uint8_t attr_idx)
lpaed_t hvmm_mm_lpaed_l2_block (uint64_t pa, lpaed_stage2_memattr_t mattr)
lpaed_t hvmm_mm_lpaed_l1_table (uint64_t pa)
lpaed_t hvmm_mm_lpaed_l2_table (uint64_t pa)
lpaed_t hvmm_mm_lpaed_l3_table (uint64_t pa, uint8_t attr_idx, uint8_t valid)
void lpaed_stage1_conf_l3_table (lpaed_t *ttbl3, uint64_t baddr, uint8_t valid)
void lpaed_stage1_disable_l3_table (lpaed_t *ttbl2)
void lpaed_stage2_map_page (lpaed_t *pte, uint64_t pa, lpaed_stage2_memattr_t mattr)
void lpaed_stage2_conf_l1_table (lpaed_t *ttbl1, uint64_t baddr, uint8_t valid)
void lpaed_stage2_conf_l2_table (lpaed_t *ttbl2, uint64_t baddr, uint8_t valid)
void lpaed_stage2_enable_l2_table (lpaed_t *ttbl2)
void lpaed_stage2_disable_l2_table (lpaed_t *ttbl2)

Define Documentation

#define ATTR_IDX_BUFFERABLE   0x1

Definition at line 22 of file lpae.h.

#define ATTR_IDX_DEV_CACHED   WRITEBACK

Definition at line 29 of file lpae.h.

#define ATTR_IDX_DEV_NONSHARED   DEV_SHARED

Definition at line 27 of file lpae.h.

#define ATTR_IDX_DEV_SHARED   0x4

Definition at line 25 of file lpae.h.

#define ATTR_IDX_DEV_WC   BUFFERABLE

Definition at line 28 of file lpae.h.

#define ATTR_IDX_UNCACHED   0x0

Definition at line 21 of file lpae.h.

#define ATTR_IDX_WRITEALLOC   0x7

Definition at line 26 of file lpae.h.

#define ATTR_IDX_WRITEBACK   0x3

Definition at line 24 of file lpae.h.

#define ATTR_IDX_WRITETHROUGH   0x2

Definition at line 23 of file lpae.h.

#define LPAE_BLOCK_L2_MASK   (0x1FFFFF)

Definition at line 11 of file lpae.h.

#define LPAE_BLOCK_L2_SHIFT   21

Definition at line 9 of file lpae.h.

#define LPAE_BLOCK_L2_SIZE   (1<<LPAE_BLOCK_L2_SHIFT)

Definition at line 10 of file lpae.h.

#define LPAE_PAGE_MASK   (0xFFF)

Definition at line 7 of file lpae.h.

#define LPAE_PAGE_SHIFT   12

Definition at line 5 of file lpae.h.

#define LPAE_PAGE_SIZE   (1<<LPAE_PAGE_SHIFT)

Definition at line 6 of file lpae.h.

Enumeration Type Documentation

enum lpaed_stage2_memattr_t
Enumerator:
LPAED_STAGE2_MEMATTR_SO 
LPAED_STAGE2_MEMATTR_DM 
LPAED_STAGE2_MEMATTR_NORMAL_ONC 
LPAED_STAGE2_MEMATTR_NORMAL_OWT 
LPAED_STAGE2_MEMATTR_NORMAL_OWB 
LPAED_STAGE2_MEMATTR_NORMAL_INC 
LPAED_STAGE2_MEMATTR_NORMAL_IWT 
LPAED_STAGE2_MEMATTR_NORMAL_IWB 

Definition at line 131 of file lpae.h.

             {
    LPAED_STAGE2_MEMATTR_SO = 0x0,   /* Strongly Ordered */
    LPAED_STAGE2_MEMATTR_DM = 0x1,   /* Device memory */
    LPAED_STAGE2_MEMATTR_NORMAL_ONC = 0x4,  /* Outer Non-cacheable */
    LPAED_STAGE2_MEMATTR_NORMAL_OWT = 0x8,
    LPAED_STAGE2_MEMATTR_NORMAL_OWB = 0xC,
    LPAED_STAGE2_MEMATTR_NORMAL_INC = 0x1,
    LPAED_STAGE2_MEMATTR_NORMAL_IWT = 0x2,
    LPAED_STAGE2_MEMATTR_NORMAL_IWB = 0x3,
} lpaed_stage2_memattr_t;

Function Documentation

lpaed_t hvmm_mm_lpaed_l1_block ( uint64_t  pa,
uint8_t  attr_idx 
)

Definition at line 47 of file lpae.c.

{
    /* lpae.c */
    lpaed_t lpaed;

    printh( "[mm] hvmm_mm_lpaed_l1_block:\n\r" );
    printh( " pa:"); uart_print_hex64(pa); printh("\n\r");
    printh( " attr_idx:"); uart_print_hex32((uint32_t) attr_idx); printh("\n\r");

    // Valid Block Entry
    lpaed.pt.valid = 1;
    lpaed.pt.table = 0;

    lpaed.bits &= ~TTBL_L1_OUTADDR_MASK;
    lpaed.bits |= pa & TTBL_L1_OUTADDR_MASK;
    lpaed.pt.sbz = 0;

    // Lower block attributes
    lpaed.pt.ai = attr_idx;
    lpaed.pt.ns = 1;    // Allow Non-secure access
    lpaed.pt.user = 1;
    lpaed.pt.ro = 0;
    lpaed.pt.sh = 2;    // Outher Shareable
    lpaed.pt.af = 1;    // Access Flag set to 1?
    lpaed.pt.ng = 1;

    // Upper block attributes
    lpaed.pt.hint = 0;
    lpaed.pt.pxn = 0;
    lpaed.pt.xn = 0;    // eXecute Never = 0
    return lpaed;
}
lpaed_t hvmm_mm_lpaed_l1_table ( uint64_t  pa)

Definition at line 134 of file lpae.c.

{  
    lpaed_t lpaed;
   
    // Valid Table Entry
    lpaed.pt.valid = 1;
    lpaed.pt.table = 1;
 
    // Next-level table address [39:12]
    lpaed.bits &= ~TTBL_L1_TABADDR_MASK;
    lpaed.bits |= pa & TTBL_L1_TABADDR_MASK;

    // UNK/SBZP [51:40]
    lpaed.pt.sbz = 0;

    lpaed.pt.pxnt = 0;  // PXN limit for subsequent levels of lookup
    lpaed.pt.xnt = 0;   // XN limit for subsequent levels of lookup
    lpaed.pt.apt = 0;   // Access permissions limit for subsequent levels of lookup
    lpaed.pt.nst = 1;   // Table address is in the Non-secure physical address space

    return lpaed;
}
lpaed_t hvmm_mm_lpaed_l2_block ( uint64_t  pa,
lpaed_stage2_memattr_t  mattr 
)

Definition at line 15 of file lpae.c.

{
    /* lpae.c */
    lpaed_t lpaed;

    // Valid Block Entry
    lpaed.pt.valid = 1;
    lpaed.pt.table = 0;

    lpaed.bits &= ~TTBL_L2_OUTADDR_MASK;
    lpaed.bits |= pa & TTBL_L2_OUTADDR_MASK;
    lpaed.p2m.sbz3 = 0;

    // Lower block attributes
    lpaed.p2m.mattr = mattr & 0x0F; 
    lpaed.p2m.read = 1;     // Read/Write
    lpaed.p2m.write = 1;        
    lpaed.p2m.sh = 0;   // Non-shareable
    lpaed.p2m.af = 1;   // Access Flag set to 1?
    lpaed.p2m.sbz4 = 0;

    // Upper block attributes
    lpaed.p2m.hint = 0;
    lpaed.p2m.sbz2 = 0;
    lpaed.p2m.xn = 0;   // eXecute Never = 0

    lpaed.p2m.sbz1 = 0;

    return lpaed;
}
lpaed_t hvmm_mm_lpaed_l2_table ( uint64_t  pa)

Definition at line 158 of file lpae.c.

{ 
    lpaed_t lpaed;
  
    // Valid Table Entry
    lpaed.pt.valid = 1;
    lpaed.pt.table = 1;

    // Next-level table address [39:12]
    lpaed.bits &= ~TTBL_L2_TABADDR_MASK;
    lpaed.bits |= pa & TTBL_L2_TABADDR_MASK;

    // UNK/SBZP [51:40]
    lpaed.pt.sbz = 0;

    lpaed.pt.pxnt = 0;  // PXN limit for subsequent levels of lookup
    lpaed.pt.xnt = 0;   // XN limit for subsequent levels of lookup
    lpaed.pt.apt = 0;   // Access permissions limit for subsequent levels of lookup
    lpaed.pt.nst = 1;   // Table address is in the Non-secure physical address space

    return lpaed;
}
lpaed_t hvmm_mm_lpaed_l3_table ( uint64_t  pa,
uint8_t  attr_idx,
uint8_t  valid 
)

Definition at line 182 of file lpae.c.

{ 
    lpaed_t lpaed;
  
    // Valid Table Entry
    lpaed.pt.valid = valid;
    lpaed.pt.table = 1;

    // 4KB physical address [39:12]
    lpaed.bits &= ~TTBL_L3_OUTADDR_MASK;
    lpaed.bits |= pa & TTBL_L3_OUTADDR_MASK;

    // UNK/SBZP [51:40]
    lpaed.pt.sbz = 0;

    //Lower page attributes
    lpaed.pt.ai = attr_idx;
    lpaed.pt.ns = 1;    // Allow Non-secure access
    lpaed.pt.user = 1;
    lpaed.pt.ro = 0;
    lpaed.pt.sh = 2;    // Outher Shareable
    lpaed.pt.af = 1;    // Access Flag set to 1?
    lpaed.pt.ng = 1;

    // Upper page attributes
    lpaed.pt.hint = 0;
    lpaed.pt.pxn = 0;
    lpaed.pt.xn = 0;    // eXecute Never = 0

    return lpaed;
}
void lpaed_stage1_conf_l3_table ( lpaed_t *  ttbl3,
uint64_t  baddr,
uint8_t  valid 
)

Definition at line 214 of file lpae.c.

{
    ttbl3->pt.valid = valid ? 1 : 0;
    ttbl3->bits &= ~TTBL_L3_OUTADDR_MASK;
    ttbl3->bits |= baddr & TTBL_L3_OUTADDR_MASK;
}
void lpaed_stage1_disable_l3_table ( lpaed_t *  ttbl2)

Definition at line 221 of file lpae.c.

{
    ttbl3->pt.valid = 0;
}
void lpaed_stage2_conf_l1_table ( lpaed_t *  ttbl1,
uint64_t  baddr,
uint8_t  valid 
)

Definition at line 81 of file lpae.c.

{
    ttbl1->pt.valid = valid ? 1 : 0;
    ttbl1->pt.table = valid ? 1 : 0;
    ttbl1->bits &= ~TTBL_L1_TABADDR_MASK;
    ttbl1->bits |= baddr & TTBL_L1_TABADDR_MASK;
}
void lpaed_stage2_conf_l2_table ( lpaed_t *  ttbl2,
uint64_t  baddr,
uint8_t  valid 
)

Definition at line 89 of file lpae.c.

{
    ttbl2->pt.valid = valid ? 1 : 0;
    ttbl2->pt.table = valid ? 1 : 0;
    ttbl2->bits &= ~TTBL_L2_TABADDR_MASK;
    ttbl2->bits |= baddr & TTBL_L2_TABADDR_MASK;
}
void lpaed_stage2_disable_l2_table ( lpaed_t *  ttbl2)

Definition at line 102 of file lpae.c.

{
    ttbl2->pt.valid = 0;
}
void lpaed_stage2_enable_l2_table ( lpaed_t *  ttbl2)

Definition at line 97 of file lpae.c.

{
    ttbl2->pt.valid = 1;
    ttbl2->pt.table = 1;
}
void lpaed_stage2_map_page ( lpaed_t *  pte,
uint64_t  pa,
lpaed_stage2_memattr_t  mattr 
)

Definition at line 107 of file lpae.c.

{

    pte->pt.valid = 1;
    pte->pt.table = 1;

    pte->bits &= ~TTBL_L3_OUTADDR_MASK;
    pte->bits |= pa & TTBL_L3_OUTADDR_MASK;
    pte->p2m.sbz3 = 0;

    // Lower block attributes
    pte->p2m.mattr = mattr & 0x0F;  
    pte->p2m.read = 1;      // Read/Write
    pte->p2m.write = 1;     
    pte->p2m.sh = 0;    // Non-shareable
    pte->p2m.af = 1;    // Access Flag set to 1?
    pte->p2m.sbz4 = 0;

    // Upper block attributes
    pte->p2m.hint = 0;
    pte->p2m.sbz2 = 0;
    pte->p2m.xn = 0;    // eXecute Never = 0

    pte->p2m.sbz1 = 0;
}
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines
Generated on Tue Feb 18 2014 16:44:40 for khypervisor by   doxygen 1.7.6.1