diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2009-10-20 19:15:33 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2009-10-20 19:18:29 +0200 |
| commit | 974fb49ada3787b06531ccb4437ee245b6cfe8c1 (patch) | |
| tree | eef11966ae517cc930c5ad836ffefe08e3dcf7e7 /linux/dev | |
| parent | 4c06eab356ff4a0e528bf27e09dfbe9a9b4b9556 (diff) | |
Fix warnings
* kern/bootstrap.c (task_insert_send_right): Remove spurious cast of
port into ipc_object_t.
(load_protect_text, load_fault_in_text, boot_map,
load_bootstrap_symbols): Comment out unused variables and function.
(read_exec): Comment out unused user_map variable.
Diffstat (limited to 'linux/dev')
0 files changed, 0 insertions, 0 deletions