Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/ia64/src/mm/tlb.c

    r7e752b2 rc15b374  
    499499                page_table_unlock(AS, true);
    500500                if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
    501                         fault_if_from_uspace(istate, "Page fault at %p.",
    502                             (void *) va);
     501                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    503502                        panic_memtrap(istate, PF_ACCESS_EXEC, va, NULL);
    504503                }
    … …  
    557556                        } else {
    558557                                fault_if_from_uspace(istate,
    559                                     "IO access fault at %p.", (void *) va);
     558                                    "IO access fault at %p.", va);
    560559                        }
    561560                }
    … …  
    621620                 */
    622621                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    623                         fault_if_from_uspace(istate, "Page fault at %p.",
    624                             (void *) va);
     622                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    625623                        panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, NULL);
    626624                }
    … …  
    670668        } else {
    671669                if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
    672                         fault_if_from_uspace(istate, "Page fault at %p.",
    673                             (void *) va);
     670                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    674671                        panic_memtrap(istate, PF_ACCESS_WRITE, va, NULL);
    675672                }
    … …  
    707704        } else {
    708705                if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
    709                         fault_if_from_uspace(istate, "Page fault at %p.",
    710                             (void *) va);
     706                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    711707                        panic_memtrap(istate, PF_ACCESS_EXEC, va, NULL);
    712708                }
    … …  
    744740        } else {
    745741                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    746                         fault_if_from_uspace(istate, "Page fault at %p.",
    747                             (void *) va);
     742                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    748743                        panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, NULL);
    749744                }
    … …  
    777772        ASSERT(!t->w);
    778773        if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
    779                 fault_if_from_uspace(istate, "Page fault at %p.",
    780                     (void *) va);
     774                fault_if_from_uspace(istate, "Page fault at %p.", va);
    781775                panic_memtrap(istate, PF_ACCESS_WRITE, va, NULL);
    782776        }
    … …  
    818812                page_table_unlock(AS, true);
    819813                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    820                         fault_if_from_uspace(istate, "Page fault at %p.",
    821                             (void *) va);
     814                        fault_if_from_uspace(istate, "Page fault at %p.", va);
    822815                        panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, NULL);
    823816                }
Note: See TracChangeset for help on using the changeset viewer.