diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-19 16:22:25 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-20 18:54:54 +0200 |
| commit | cf2eb5d84928952dbef9f9388139599d54217dab (patch) | |
| tree | 859e3f463ada1d9c92fb6569533856492e676d55 /i386/intel | |
| parent | 435cc1becf334f650dcdd0763cb0022f27f3f54a (diff) | |
i386: enable assertions
* i386/intel/pmap.c (pmap_page_protect): Enable assertions.
(phys_attribute_clear, phys_attribute_test): Likewise.
Diffstat (limited to 'i386/intel')
| -rw-r--r-- | i386/intel/pmap.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 5cfffb5..cf7a736 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1585,8 +1585,8 @@ void pmap_page_protect( /* * Consistency checks. */ - /* assert(*pte & INTEL_PTE_VALID); XXX */ - /* assert(pte_to_phys(*pte) == phys); */ + assert(*pte & INTEL_PTE_VALID); + assert(pte_to_pa(*pte) == phys); /* * Remove the mapping if new protection is NONE @@ -2463,13 +2463,11 @@ phys_attribute_clear( va = pv_e->va; pte = pmap_pte(pmap, va); -#if 0 /* * Consistency checks. */ assert(*pte & INTEL_PTE_VALID); - /* assert(pte_to_phys(*pte) == phys); */ -#endif + assert(pte_to_pa(*pte) == phys); /* * Clear modify or reference bits. @@ -2556,13 +2554,11 @@ phys_attribute_test( va = pv_e->va; pte = pmap_pte(pmap, va); -#if 0 /* * Consistency checks. */ assert(*pte & INTEL_PTE_VALID); - /* assert(pte_to_phys(*pte) == phys); */ -#endif + assert(pte_to_pa(*pte) == phys); } /* |