khypervisor  v1
Defines | Functions
lpae.c File Reference
#include "lpae.h"
#include <log/print.h>
#include <log/uart_print.h>
Include dependency graph for lpae.c:

Go to the source code of this file.

Defines

#define TTBL_L1_OUTADDR_MASK   0x000000FFEC000000ULL
#define TTBL_L2_OUTADDR_MASK   0x000000FFFFE00000ULL
#define TTBL_L3_OUTADDR_MASK   0x000000FFFFFFF000ULL
#define TTBL_L1_TABADDR_MASK   0x000000FFFFFFF000ULL
#define TTBL_L2_TABADDR_MASK   0x000000FFFFFFF000ULL

Functions

lpaed_t hvmm_mm_lpaed_l2_block (uint64_t pa, lpaed_stage2_memattr_t mattr)
lpaed_t hvmm_mm_lpaed_l1_block (uint64_t pa, uint8_t attr_idx)
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)
void lpaed_stage2_map_page (lpaed_t *pte, 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 *ttbl3)

Define Documentation

#define TTBL_L1_OUTADDR_MASK   0x000000FFEC000000ULL

Definition at line 7 of file lpae.c.

#define TTBL_L1_TABADDR_MASK   0x000000FFFFFFF000ULL

Definition at line 11 of file lpae.c.

#define TTBL_L2_OUTADDR_MASK   0x000000FFFFE00000ULL

Definition at line 8 of file lpae.c.

#define TTBL_L2_TABADDR_MASK   0x000000FFFFFFF000ULL

Definition at line 12 of file lpae.c.

#define TTBL_L3_OUTADDR_MASK   0x000000FFFFFFF000ULL

Definition at line 9 of file lpae.c.

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 *  ttbl3)

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