diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-15 11:48:39 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:42:30 +0100 |
| commit | f885fde0a7177f954893be22efdf8c55c7c40fdb (patch) | |
| tree | 1052965ca2da8f0e22142205d8fe1bb4de0fd531 /i386/intel | |
| parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) | |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'i386/intel')
| -rw-r--r-- | i386/intel/pmap.c | 4 | ||||
| -rw-r--r-- | i386/intel/pmap.h | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 06c4daa..2943d26 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -420,7 +420,7 @@ unsigned int inuse_ptepages_count = 0; /* debugging */ pt_entry_t *kernel_page_dir; static inline pt_entry_t * -pmap_pde(pmap_t pmap, vm_offset_t addr) +pmap_pde(const pmap_t pmap, vm_offset_t addr) { if (pmap == kernel_pmap) addr = kvtolin(addr); @@ -435,7 +435,7 @@ pmap_pde(pmap_t pmap, vm_offset_t addr) * This is only used internally. */ pt_entry_t * -pmap_pte(pmap_t pmap, vm_offset_t addr) +pmap_pte(const pmap_t pmap, vm_offset_t addr) { pt_entry_t *ptp; pt_entry_t pte; diff --git a/i386/intel/pmap.h b/i386/intel/pmap.h index 20c6243..047a384 100644 --- a/i386/intel/pmap.h +++ b/i386/intel/pmap.h @@ -227,7 +227,7 @@ extern pmap_t kernel_pmap; * Machine dependent routines that are used only for i386/i486. */ -pt_entry_t *pmap_pte(pmap_t pmap, vm_offset_t addr); +pt_entry_t *pmap_pte(const pmap_t pmap, vm_offset_t addr); /* * Macros for speed. |