sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-28 10:43:14 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Updated ipc flag names with kernel-only versions without the L4 prefix.

Browse Source
This commit is contained in:
Bahadir Balban
2009-05-28 12:01:48 +03:00
parent b977e6597e
commit 391b0ca1d0
4 changed files with 44 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/arch/arm/exception.c
View File

@@ -60,7 +60,7 @@ void fault_ipc_to_pager(u32 faulty_pc, u32 fsr, u32 far)
/* Save current ipc flags and set current flags to short ipc */
saved_flags = tcb_get_ipc_flags(current);
tcb_set_ipc_flags(current, L4_IPC_FLAGS_SHORT);
tcb_set_ipc_flags(current, IPC_FLAGS_SHORT);
/* Send ipc to the task's pager */
ipc_sendrecv(current->pagerid, current->pagerid, 0);