Thomas Veerman 6bbcab3ec4 Clean up MFS a bit: ... - Remove unused includes. - Add include guards to headers. - Use unsigned variables in case they're never going to hold a negative value. This causes GCC's complaints to disappear and should make flexelint a lot happier, too. - Make functions private when they're used only within a module. - Remove unused variables. - Add casts where appropriate.		2010-06-01 12:35:33 +00:00
..
alloc_util.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
assert.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
asynsend.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
ds.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
env_get_prm.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
env_panic.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
env_parse.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
env_prefix.c
fkey_ctl.c
get_randomness.c
getidle.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
getuptime.c
getuptime2.c
kernel_call.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
kprintf.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
kputc.c	Oops, last commit included more than was intended	2010-05-20 08:07:47 +00:00
kputs.c	intercept puts() in libsys, for gcc	2010-04-23 20:23:33 +00:00
Makefile	secondary cache feature in vm.	2010-05-05 11:35:04 +00:00
panic.c	Oops, last commit included more than was intended	2010-05-20 08:07:47 +00:00
pci_attr_r8.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_attr_r16.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_attr_r32.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_attr_w8.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_attr_w16.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_attr_w32.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_del_acl.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
pci_dev_name.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_find_dev.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_first_dev.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_ids.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_init.c
pci_init1.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
pci_next_dev.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci_rescan_bus.c	Rename all uses of U8_t to u8_t and remove U8_t, remove unused I8_t,	2010-04-07 13:35:56 +00:00
pci_reserve.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
pci_set_acl.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
pci_slot_name.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
pci.h
profile_extern.c
profile.c	Add an UNUSED annotation, and use it in libsys.	2010-03-11 14:23:33 +00:00
read_tsc_64.c
read_tsc.S	Convert library asm files to GAS syntax	2010-03-03 14:27:30 +00:00
safecopies.c	Clean up MFS a bit:	2010-06-01 12:35:33 +00:00
sef_init.c	Oops, last commit included more than was intended	2010-05-20 08:07:47 +00:00
sef_liveupdate.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
sef_ping.c	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
sef_signal.c	Fixed some incorrect uses of printf-like functions.	2010-04-01 14:30:36 +00:00
sef.c	Oops, last commit included more than was intended	2010-05-20 08:07:47 +00:00
ser_putc.c
stacktrace.c
sys_abort.c
sys_clear.c	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
sys_cprof.c
sys_endsig.c
sys_eniop.c
sys_exec.c
sys_exit.c	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
sys_fork.c
sys_getinfo.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
sys_getsig.c
sys_hz.c	Add an UNUSED annotation, and use it in libsys.	2010-03-11 14:23:33 +00:00
sys_in.c
sys_int86.c
sys_irqctl.c
sys_kill.c
sys_mcontext.c	- Add support for the ucontext system calls (getcontext, setcontext,	2010-03-12 15:58:41 +00:00
sys_memset.c
sys_newmap.c
sys_out.c
sys_physcopy.c
sys_privctl.c
sys_profbuf.c
sys_readbios.c
sys_runctl.c
sys_safecopy.c
sys_safemap.c
sys_schedctl.c	Scheduling server (by Bjorn Swift)	2010-05-18 13:39:04 +00:00
sys_schedule.c	Various small scheduling related fixes	2010-05-26 07:16:39 +00:00
sys_sdevio.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
sys_segctl.c
sys_setalarm.c
sys_setgrant.c
sys_sigreturn.c
sys_sigsend.c
sys_sprof.c
sys_statectl.c	Driver refactory for live update and crash recovery.	2010-04-08 13:41:35 +00:00
sys_stime.c
sys_sysctl.c
sys_times.c
sys_trace.c
sys_umap.c
sys_update.c	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
sys_vinb.c
sys_vinl.c
sys_vinw.c
sys_vircopy.c
sys_vmctl.c	kernel/vm: change pde table info from single buffer to explicit per-process.	2010-05-12 08:31:05 +00:00
sys_voutb.c
sys_voutl.c
sys_voutw.c
sys_vsafecopy.c
sys_vtimer.c
syslib.h
sysutil.h
taskcall.c
tickdelay.c	IPC status code for receive().	2010-03-23 00:09:11 +00:00
timing.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
tsc_util.c	Add syslib function to obtain CPU frequency	2010-05-03 19:41:04 +00:00
vm_brk.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
vm_exec_newmem.c
vm_exit.c
vm_fork.c
vm_info.c
vm_map_phys.c	Clean up code in preparation for using gcc warnings.	2010-03-10 13:19:27 +00:00
vm_notify_sig.c
vm_push_sig.c
vm_umap.c
vm_yield_get_block.c	secondary cache feature in vm.	2010-05-05 11:35:04 +00:00
vprintf.c	panic() cleanup.	2010-03-05 15:05:11 +00:00