mark 4ad81305d5 Initialise boot_args and boot_file to NULL.		1998-08-29 03:53:17 +00:00
..
rpc_kbd_map.c	…
rpc_machdep.c	Initialise boot_args and boot_file to NULL.	1998-08-29 03:53:17 +00:00