/* Public domain. */

#ifndef _ASM_PGTABLE_H
#define _ASM_PGTABLE_H

#include <machine/pmap.h>
#include <linux/types.h>

#define pgprot_val(p)           (p)
#define pgprot_decrypted(p)     (p)
#define PAGE_KERNEL     0
#define PAGE_KERNEL_IO  0

static inline pgprot_t
pgprot_writecombine(pgprot_t prot)
{
#if PMAP_WC != 0
        return prot | PMAP_WC;
#else
        return prot | PMAP_NOCACHE;
#endif
}

static inline pgprot_t
pgprot_noncached(pgprot_t prot)
{
#if PMAP_DEVICE != 0
        return prot | PMAP_DEVICE;
#else
        return prot | PMAP_NOCACHE;
#endif
}

#if defined(__i386__) || defined(__amd64__)
#include <machine/pte.h>

#define _PAGE_PRESENT   PG_V
#define _PAGE_RW        PG_RW
#define _PAGE_PAT       PG_PAT
#define _PAGE_PWT       PG_WT
#define _PAGE_PCD       PG_N
#endif

#endif