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 | ||