page.h

Go to the documentation of this file.

#ifndef XTF_X86_PAGE_H
#define XTF_X86_PAGE_H

#include <xtf/numbers.h>

/*
 * Nomenclature inherited from Xen.
 */

#define PAGE_SHIFT              12
#define PAGE_SIZE               (_AC(1, L) << PAGE_SHIFT)
#define PAGE_MASK               (~(PAGE_SIZE - 1))

#define PADDR_BITS              52
#define PADDR_MASK              ((_AC(1, ULL) << PADDR_BITS) - 1)

#include "page-pae.h"
#include "page-pse.h"

#define PAGE_ORDER_4K           0
#define PAGE_ORDER_2M           9
#define PAGE_ORDER_4M           10
#define PAGE_ORDER_1G           18

#define _PAGE_PRESENT           0x0001
#define _PAGE_RW                0x0002
#define _PAGE_USER              0x0004
#define _PAGE_PWT               0x0008
#define _PAGE_PCD               0x0010
#define _PAGE_ACCESSED          0x0020
#define _PAGE_DIRTY             0x0040
#define _PAGE_AD                (_PAGE_ACCESSED | _PAGE_DIRTY)
#define _PAGE_PSE               0x0080
#define _PAGE_PAT               0x0080
#define _PAGE_GLOBAL            0x0100
#define _PAGE_AVAIL             0x0e00
#define _PAGE_PSE_PAT           0x1000
#define _PAGE_NX                (_AC(1, ULL) << 63)

/* Shortened flags for use with PF_SYM(). */
#define _PAGE_P                 _PAGE_PRESENT
#define _PAGE_U                 _PAGE_USER
#define _PAGE_A                 _PAGE_ACCESSED
#define _PAGE_D                 _PAGE_DIRTY

#if CONFIG_PAGING_LEVELS == 2 /* PSE Paging */

#define PTE_SIZE  PSE_PTE_SIZE
#define PTE_ORDER PSE_PTE_ORDER

#define PT_ORDER PSE_PT_ORDER

#define L1_PT_SHIFT PSE_L1_PT_SHIFT
#define L2_PT_SHIFT PSE_L2_PT_SHIFT

#define L1_PT_ENTRIES PSE_L1_PT_ENTRIES
#define L2_PT_ENTRIES PSE_L2_PT_ENTRIES

#else /* CONFIG_PAGING_LEVELS == 2 */ /* PAE Paging */

#define PTE_SIZE  PAE_PTE_SIZE
#define PTE_ORDER PAE_PTE_ORDER

#define PT_ORDER PAE_PT_ORDER

#define L1_PT_SHIFT PAE_L1_PT_SHIFT
#define L2_PT_SHIFT PAE_L2_PT_SHIFT

#define L1_PT_ENTRIES PAE_L1_PT_ENTRIES
#define L2_PT_ENTRIES PAE_L2_PT_ENTRIES

#endif /* !CONFIG_PAGING_LEVELS == 2 */

#if CONFIG_PAGING_LEVELS >= 3 /* PAE Paging */

#define L3_PT_SHIFT PAE_L3_PT_SHIFT

#define L3_PT_ENTRIES PAE_L3_PT_ENTRIES

#endif /* CONFIG_PAGING_LEVELS >= 3 */

#if CONFIG_PAGING_LEVELS >= 4 /* PAE Paging */

#define L4_PT_SHIFT PAE_L4_PT_SHIFT

#define L4_PT_ENTRIES PAE_L4_PT_ENTRIES

#endif /* CONFIG_PAGING_LEVELS >= 4 */


#ifndef __ASSEMBLY__

/*
 * Always consider "physical" addresses to be 64bits wide, even in 32bit mode.
 */
typedef uint64_t paddr_t;
#define PRIpaddr "016"PRIx64

#if CONFIG_PAGING_LEVELS > 0 /* Some form of pagetables. */

#if CONFIG_PAGING_LEVELS == 2 /* PSE Paging */

typedef pse_intpte_t intpte_t;
#define PRIpte PSE_PRIpte

static inline unsigned int l1_table_offset(unsigned long linear)
{
    return pse_l1_table_offset(linear);
}
static inline unsigned int l2_table_offset(unsigned long linear)
{
    return pse_l2_table_offset(linear);
}

#else /* CONFIG_PAGING_LEVELS == 2 */ /* PAE Paging */

typedef pae_intpte_t intpte_t;
#define PRIpte PAE_PRIpte

static inline unsigned int l1_table_offset(unsigned long linear)
{
    return pae_l1_table_offset(linear);
}
static inline unsigned int l2_table_offset(unsigned long linear)
{
    return pae_l2_table_offset(linear);
}

#endif /* !CONFIG_PAGING_LEVELS == 2 */

#if CONFIG_PAGING_LEVELS >= 3 /* PAE Paging */

static inline unsigned int l3_table_offset(unsigned long linear)
{
    return pae_l3_table_offset(linear);
}

#endif /* CONFIG_PAGING_LEVELS >= 3 */

#if CONFIG_PAGING_LEVELS >= 4 /* PAE Paging */

static inline unsigned int l4_table_offset(unsigned long linear)
{
    return pae_l4_table_offset(linear);
}

#endif /* CONFIG_PAGING_LEVELS >= 4 */

#else /* CONFIG_PAGING_LEVELS > 0 */

/* Enough compatibility to compile in unpaged environments. */
typedef unsigned long intpte_t;
#define PRIpte "08lx"

unsigned int l1_table_offset(unsigned long linear);
unsigned int l2_table_offset(unsigned long linear);
unsigned int l3_table_offset(unsigned long linear);
unsigned int l4_table_offset(unsigned long linear);

#endif

#ifdef CONFIG_HVM

extern pae_intpte_t pae_l1_identmap[PAE_L1_PT_ENTRIES];
extern pae_intpte_t pae_l2_identmap[4 * PAE_L2_PT_ENTRIES];
extern pae_intpte_t pae_l3_identmap[PAE_L3_PT_ENTRIES];
extern pae_intpte_t pae_l4_identmap[PAE_L4_PT_ENTRIES];
extern pae_intpte_t pae32_l3_identmap[PAE32_L3_ENTRIES];

extern pse_intpte_t pse_l1_identmap[PSE_L1_PT_ENTRIES];
extern pse_intpte_t pse_l2_identmap[PSE_L2_PT_ENTRIES];

/* Aliases of the live tables (PAE or PSE as appropriate). */
extern intpte_t l1_identmap[L1_PT_ENTRIES];
#if CONFIG_PAGING_LEVELS >= 3
extern intpte_t l2_identmap[4 *L2_PT_ENTRIES];
#else
extern intpte_t l2_identmap[L2_PT_ENTRIES];
#endif

/* Alias of the pagetable %cr3 points at. */
extern intpte_t cr3_target[];

#endif /* CONFIG_HVM */

#endif /* !__ASSEMBLY__ */

#endif /* XTF_X86_PAGE_H */

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */