73e5de6354
Changed pci_dev_name and pci_slot_name to use safecopies. Mae it possible to disable the use of safecopies in kputc for debugging. |
||
---|---|---|
.. | ||
env_get_prm.c | ||
env_panic.c | ||
env_parse.c | ||
env_prefix.c | ||
fkey_ctl.c | ||
getuptime.c | ||
kmalloc.c | ||
kprintf.c | ||
kputc.c | ||
Makefile.in | ||
report.c | ||
sysutil.h | ||
taskcall.c | ||
tickdelay.c |