Changeset 403 for trunk

Timestamp:

Aug 17, 2017, 3:09:39 PM (7 years ago)

Author:

max@…

Message:

Sync with TSAR.

File:

• trunk/hal/x86_64/core/hal_exception.c (modified) (2 diffs)

trunk/hal/x86_64/core/hal_exception.c

@@ -87 +87 @@
         thread_t *thread = curtls()->tls_thr;
         process_t *process = thread->process;
-        vseg_t *vseg;
         intptr_t bad_vaddr;
         error_t error;
@@ -95 +94 @@
                         bad_vaddr = rcr2();
 
-                        error = vmm_get_vseg(process, bad_vaddr, &vseg);
-                        if (error) {
-                                x86_panic("vseg not found!");
-                        }
-
-                        error = vmm_handle_page_fault(process, vseg,
+                        error = vmm_handle_page_fault(process,
                             bad_vaddr >> CONFIG_PPM_PAGE_SHIFT);