Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/arch/m68k/include/asm/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 7 kB image not shown  

Quelle  mcf_pgtable.h   Sprache: C

 
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _MCF_PGTABLE_H
#define _MCF_PGTABLE_H

#include <asm/mcfmmu.h>
#include <asm/page.h>

/*
 * MMUDR bits, in proper place. We write these directly into the MMUDR
 * after masking from the pte.
 */

#define CF_PAGE_LOCKED  MMUDR_LK /* 0x00000002 */
#define CF_PAGE_EXEC  MMUDR_X  /* 0x00000004 */
#define CF_PAGE_WRITABLE MMUDR_W  /* 0x00000008 */
#define CF_PAGE_READABLE MMUDR_R  /* 0x00000010 */
#define CF_PAGE_SYSTEM  MMUDR_SP /* 0x00000020 */
#define CF_PAGE_COPYBACK MMUDR_CM_CCB /* 0x00000040 */
#define CF_PAGE_NOCACHE  MMUDR_CM_NCP /* 0x00000080 */

#define CF_CACHEMASK  (~MMUDR_CM_CCB)
#define CF_PAGE_MMUDR_MASK 0x000000fe

#define _PAGE_NOCACHE030 CF_PAGE_NOCACHE

/*
 * MMUTR bits, need shifting down.
 */

#define CF_PAGE_MMUTR_MASK 0x00000c00
#define CF_PAGE_MMUTR_SHIFT 10

#define CF_PAGE_VALID  (MMUTR_V << CF_PAGE_MMUTR_SHIFT)
#define CF_PAGE_SHARED  (MMUTR_SG << CF_PAGE_MMUTR_SHIFT)

/*
 * Fake bits, not implemented in CF, will get masked out before
 * hitting hardware.
 */

#define CF_PAGE_DIRTY  0x00000001
#define CF_PAGE_ACCESSED 0x00001000

#define _PAGE_CACHE040  0x020   /* 68040 cache mode, cachable, copyback */
#define _PAGE_NOCACHE_S  0x040   /* 68040 no-cache mode, serialized */
#define _PAGE_NOCACHE  0x060   /* 68040 cache mode, non-serialized */
#define _PAGE_CACHE040W  0x000   /* 68040 cache mode, cachable, write-through */
#define _DESCTYPE_MASK  0x003
#define _CACHEMASK040  (~0x060)
#define _PAGE_GLOBAL040  0x400   /* 68040 global bit, used for kva descs */

/* We borrow bit 7 to store the exclusive marker in swap PTEs. */
#define _PAGE_SWP_EXCLUSIVE CF_PAGE_NOCACHE

/*
 * Externally used page protection values.
 */

#define _PAGE_PRESENT (CF_PAGE_VALID)
#define _PAGE_ACCESSED (CF_PAGE_ACCESSED)
#define _PAGE_DIRTY (CF_PAGE_DIRTY)
#define _PAGE_READWRITE (CF_PAGE_READABLE \
    | CF_PAGE_WRITABLE \
    | CF_PAGE_SYSTEM \
    | CF_PAGE_SHARED)

/*
 * Compound page protection values.
 */

#define PAGE_NONE __pgprot(CF_PAGE_VALID \
     | CF_PAGE_ACCESSED)

#define PAGE_SHARED     __pgprot(CF_PAGE_VALID \
     | CF_PAGE_ACCESSED \
     | CF_PAGE_SHARED)

#define PAGE_INIT __pgprot(CF_PAGE_VALID \
     | CF_PAGE_READABLE \
     | CF_PAGE_WRITABLE \
     | CF_PAGE_EXEC \
     | CF_PAGE_SYSTEM)

#define PAGE_KERNEL __pgprot(CF_PAGE_VALID \
     | CF_PAGE_ACCESSED \
     | CF_PAGE_READABLE \
     | CF_PAGE_WRITABLE \
     | CF_PAGE_EXEC \
     | CF_PAGE_SYSTEM \
     | CF_PAGE_SHARED)

#define PAGE_COPY __pgprot(CF_PAGE_VALID \
     | CF_PAGE_ACCESSED \
     | CF_PAGE_READABLE \
     | CF_PAGE_DIRTY)

#define PTE_MASK PAGE_MASK
#define CF_PAGE_CHG_MASK (PTE_MASK | CF_PAGE_ACCESSED | CF_PAGE_DIRTY)

#ifndef __ASSEMBLER__

#define pmd_pgtable(pmd) pfn_to_virt(pmd_val(pmd) >> PAGE_SHIFT)

static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
{
 pte_val(pte) = (pte_val(pte) & CF_PAGE_CHG_MASK) | pgprot_val(newprot);
 return pte;
}

#define pmd_set(pmdp, ptep) do {} while (0)

static inline void pgd_set(pgd_t *pgdp, pmd_t *pmdp)
{
 pgd_val(*pgdp) = virt_to_phys(pmdp);
}

#define __pte_page(pte) ((void *) (pte_val(pte) & PAGE_MASK))
#define pmd_page_vaddr(pmd) ((unsigned long) (pmd_val(pmd)))

static inline int pte_none(pte_t pte)
{
 return !pte_val(pte);
}

static inline int pte_present(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_VALID;
}

static inline void pte_clear(struct mm_struct *mm, unsigned long addr,
 pte_t *ptep)
{
 pte_val(*ptep) = 0;
}

#define pte_page(pte) virt_to_page(__pte_page(pte))

static inline int pmd_none2(pmd_t *pmd) { return !pmd_val(*pmd); }
#define pmd_none(pmd) pmd_none2(&(pmd))
static inline int pmd_bad2(pmd_t *pmd) { return 0; }
#define pmd_bad(pmd) pmd_bad2(&(pmd))
#define pmd_present(pmd) (!pmd_none2(&(pmd)))
static inline void pmd_clear(pmd_t *pmdp) { pmd_val(*pmdp) = 0; }

#define pte_ERROR(e) \
 printk(KERN_ERR "%s:%d: bad pte %08lx.\n", \
 __FILE__, __LINE__, pte_val(e))
#define pgd_ERROR(e) \
 printk(KERN_ERR "%s:%d: bad pgd %08lx.\n", \
 __FILE__, __LINE__, pgd_val(e))

/*
 * The following only work if pte_present() is true.
 * Undefined behaviour if not...
 * [we have the full set here even if they don't change from m68k]
 */

static inline int pte_read(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_READABLE;
}

static inline int pte_write(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_WRITABLE;
}

static inline int pte_exec(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_EXEC;
}

static inline int pte_dirty(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_DIRTY;
}

static inline int pte_young(pte_t pte)
{
 return pte_val(pte) & CF_PAGE_ACCESSED;
}

static inline pte_t pte_wrprotect(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_WRITABLE;
 return pte;
}

static inline pte_t pte_rdprotect(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_READABLE;
 return pte;
}

static inline pte_t pte_exprotect(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_EXEC;
 return pte;
}

static inline pte_t pte_mkclean(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_DIRTY;
 return pte;
}

static inline pte_t pte_mkold(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_ACCESSED;
 return pte;
}

static inline pte_t pte_mkwrite_novma(pte_t pte)
{
 pte_val(pte) |= CF_PAGE_WRITABLE;
 return pte;
}

static inline pte_t pte_mkread(pte_t pte)
{
 pte_val(pte) |= CF_PAGE_READABLE;
 return pte;
}

static inline pte_t pte_mkexec(pte_t pte)
{
 pte_val(pte) |= CF_PAGE_EXEC;
 return pte;
}

static inline pte_t pte_mkdirty(pte_t pte)
{
 pte_val(pte) |= CF_PAGE_DIRTY;
 return pte;
}

static inline pte_t pte_mkyoung(pte_t pte)
{
 pte_val(pte) |= CF_PAGE_ACCESSED;
 return pte;
}

static inline pte_t pte_mknocache(pte_t pte)
{
 pte_val(pte) |= 0x80 | (pte_val(pte) & ~0x40);
 return pte;
}

static inline pte_t pte_mkcache(pte_t pte)
{
 pte_val(pte) &= ~CF_PAGE_NOCACHE;
 return pte;
}

#define swapper_pg_dir kernel_pg_dir
extern pgd_t kernel_pg_dir[PTRS_PER_PGD];

/*
 * Encode/decode swap entries and swap PTEs. Swap PTEs are all PTEs that
 * are !pte_none() && !pte_present().
 *
 * Format of swap PTEs:
 *
 *   3 3 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
 *   1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
 *   <------------------ offset -------------> 0 0 0 E <-- type --->
 *
 *   E is the exclusive marker that is not stored in swap entries.
 */

#define __swp_type(x)  ((x).val & 0x7f)
#define __swp_offset(x)  ((x).val >> 11)
#define __swp_entry(typ, off) ((swp_entry_t) { ((typ) & 0x7f) | \
     (off << 11) })
#define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })
#define __swp_entry_to_pte(x) (__pte((x).val))

static inline bool pte_swp_exclusive(pte_t pte)
{
 return pte_val(pte) & _PAGE_SWP_EXCLUSIVE;
}

static inline pte_t pte_swp_mkexclusive(pte_t pte)
{
 pte_val(pte) |= _PAGE_SWP_EXCLUSIVE;
 return pte;
}

static inline pte_t pte_swp_clear_exclusive(pte_t pte)
{
 pte_val(pte) &= ~_PAGE_SWP_EXCLUSIVE;
 return pte;
}

#define PFN_PTE_SHIFT  PAGE_SHIFT
#define pmd_pfn(pmd)  (pmd_val(pmd) >> PAGE_SHIFT)
#define pmd_page(pmd)  (pfn_to_page(pmd_val(pmd) >> PAGE_SHIFT))

#define pfn_pte(pfn, prot) __pte(((pfn) << PAGE_SHIFT) | pgprot_val(prot))
#define pte_pfn(pte)  (pte_val(pte) >> PAGE_SHIFT)

#endif /* !__ASSEMBLER__ */
#endif /* _MCF_PGTABLE_H */

Messung V0.5
C=93 H=93 G=92

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.