page-pae.h

Go to the documentation of this file.

#ifndef XTF_X86_PAGE_PAE_H
#define XTF_X86_PAGE_PAE_H

#include <xtf/types.h>

#include <arch/page.h>

#define PAE_PTE_SIZE 8

#define PAE_PTE_ORDER 3

#define PAE_PT_ORDER     9

#define PAE_L1_PT_ENTRIES (PAGE_SIZE / PAE_PTE_SIZE)
#define PAE_L2_PT_ENTRIES (PAGE_SIZE / PAE_PTE_SIZE)
#define PAE_L3_PT_ENTRIES (PAGE_SIZE / PAE_PTE_SIZE)
#define PAE_L4_PT_ENTRIES (PAGE_SIZE / PAE_PTE_SIZE)

/* Other than PAE32_L3, which has 4 entries. */
#define PAE32_L3_ENTRIES 4

#define PAE_L1_PT_SHIFT 12
#define PAE_L2_PT_SHIFT 21
#define PAE_L3_PT_SHIFT 30
#define PAE_L4_PT_SHIFT 39

#ifndef __ASSEMBLY__

typedef uint64_t pae_intpte_t;
#define PAE_PRIpte "016"PRIx64

static inline unsigned int pae_l1_table_offset(unsigned long linear)
{
    return (linear >> PAE_L1_PT_SHIFT) & (PAE_L1_PT_ENTRIES - 1);
}
static inline unsigned int pae_l2_table_offset(unsigned long linear)
{
    return (linear >> PAE_L2_PT_SHIFT) & (PAE_L2_PT_ENTRIES - 1);
}
static inline unsigned int pae_l3_table_offset(unsigned long linear)
{
    return (linear >> PAE_L3_PT_SHIFT) & (PAE_L3_PT_ENTRIES - 1);
}
#ifdef __x86_64__
static inline unsigned int pae_l4_table_offset(unsigned long linear)
{
    return (linear >> PAE_L4_PT_SHIFT) & (PAE_L4_PT_ENTRIES - 1);
}
#endif /* __x86_64__ */

#endif /* __ASSEMBLY__ */
#endif /* XTF_X86_PAGE_PAE_H */

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