diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 19:23:28 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 19:23:28 +0100 |
| commit | e484c92ff08e54e7cbfdb815a5b254507dade003 (patch) | |
| tree | 21f843225c5b2ba7a2e794ed16a1aa06afe9ecd3 /src/kernel/core/paging.c | |
| parent | 0ea68568372b7b7b20bca6985ae4b36e8c99c0e9 (diff) | |
| download | kogata-e484c92ff08e54e7cbfdb815a5b254507dade003.tar.gz kogata-e484c92ff08e54e7cbfdb815a5b254507dade003.zip | |
Implement some handling of user stuff...
Diffstat (limited to 'src/kernel/core/paging.c')
| -rw-r--r-- | src/kernel/core/paging.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kernel/core/paging.c b/src/kernel/core/paging.c index e39a872..74331c0 100644 --- a/src/kernel/core/paging.c +++ b/src/kernel/core/paging.c @@ -65,8 +65,8 @@ void page_fault_handler(registers_t *regs) { // remark : sti should always be executed, it is stupid to run user code with interrupts disabled if ((size_t)vaddr >= K_HIGHHALF_ADDR) { - ASSERT(current_thread->kmem_violation_handler != 0); - current_thread->kmem_violation_handler(regs); + ASSERT(current_thread->user_ex_handler != 0); + current_thread->user_ex_handler(regs); } else { ASSERT(pd->user_pfh != 0); pd->user_pfh(pd->user_pfh_data, regs, vaddr); |