page-pse.h

Go to the documentation of this file.

 
#ifndef XTF_X86_PAGE_PSE_H
#define XTF_X86_PAGE_PSE_H
 
#include <xtf/types.h>
 
#include <arch/page.h>
 
#define PSE_PTE_SIZE 4
#define PSE_PTE_ORDER 2
 
#define PSE_PT_ORDER 10
 
#define PSE_L1_PT_ENTRIES (PAGE_SIZE / PSE_PTE_SIZE)
#define PSE_L2_PT_ENTRIES (PAGE_SIZE / PSE_PTE_SIZE)
#define PSE_L1_PT_SHIFT 12
#define PSE_L2_PT_SHIFT 22
 
#ifndef __ASSEMBLY__
 
typedef uint32_t pse_intpte_t;
#define PSE_PRIpte "08"PRIx32
 
static inline unsigned int pse_l1_table_offset(unsigned long linear)
{
    return (linear >> PSE_L1_PT_SHIFT) & (PSE_L1_PT_ENTRIES - 1);
}
static inline unsigned int pse_l2_table_offset(unsigned long linear)
{
    return (linear >> PSE_L2_PT_SHIFT) & (PSE_L2_PT_ENTRIES - 1);
}
 
static inline uint32_t fold_pse36(uint64_t val)
{
    return (val & ~(0x1ffULL << 13)) | ((val & (0x1ffULL << 32)) >> (32 - 13));
}
 
static inline uint64_t unfold_pse36(uint32_t val)
{
    return (val & ~(0x1ffULL << 13)) | ((val & (0x1ffULL << 13)) << (32 - 13));
}
 
#endif /* __ASSEMBLY__ */
#endif /* XTF_X86_PAGE_PSE_H */
 
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */