From 0901c6a2fec314995c64b7617265de3bd1802a2d Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Sat, 13 May 1995 07:09:44 +0000 Subject: (diskfs_execserver_task): New variable. (diskfs_parse_bootargs): Take a third integer arg before the device name, our name for the task port of the exec server, which is loaded and ready to run but suspended. --- libdiskfs/boot-parse.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'libdiskfs/boot-parse.c') diff --git a/libdiskfs/boot-parse.c b/libdiskfs/boot-parse.c index 9bf46c3b..cb4ffca2 100644 --- a/libdiskfs/boot-parse.c +++ b/libdiskfs/boot-parse.c @@ -28,6 +28,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ int diskfs_bootflags; char *diskfs_bootflagarg; +task_t diskfs_execserver_task; /* Call this if the bootstrap port is null and you want to support being a bootstrap filesystem. ARGC and ARGV should be as passed @@ -120,16 +121,17 @@ diskfs_parse_bootargs (int argc, char **argv) /* The arguments, as passed by the kernel, are as follows: - hostport deviceport rootname */ - if (argc != 5 || argv[1][0] != '-') + if (argc != 6 || argv[1][0] != '-') { - fprintf (stderr, - "Usage: %s: -[qsdnx] hostport deviceport rootname\n", + fprintf (stderr, "\ +Usage: %s: -[qsdnx] hostport deviceport exectaskport rootname\n", program_invocation_name); exit (1); } diskfs_host_priv = atoi (argv[2]); diskfs_master_device = atoi (argv[3]); - devname = argv[4]; + diskfs_execserver_task = atoi (argv[4]); + devname = argv[5]; } (void) device_open (diskfs_master_device, D_READ|D_WRITE, "console", &con); -- cgit v1.2.3