Lines Matching refs:bootdev
134 int bootdev;
158 bootdev = X68K_MAKEBOOTDEV(X68K_MAJOR_NE, unit, 0);
160 bootdev = X68K_MAKEBOOTDEV(X68K_MAJOR_FD, unit & 3, 0);
171 bootdev = X68K_MAKESCSIBOOTDEV(maj,
177 printf("boot device = %x\n", bootdev);
180 B_TYPE(bootdev),
181 B_X68K_SCSI_IF(bootdev),
182 B_X68K_SCSI_IF_UN(bootdev));
185 B_TYPE(bootdev),
186 B_X68K_SCSI_IF(bootdev),
187 B_X68K_SCSI_IF_UN(bootdev),
188 B_X68K_SCSI_ID(bootdev),
189 B_X68K_SCSI_LUN(bootdev),
190 B_X68K_SCSI_PART(bootdev) + 'a');
238 marks[MARK_END]-marks[MARK_START], bootdev, flags);
381 * bootdev - specifies the device from which /boot was read, in
382 * bootdev format.
385 bootmain(int bootdev)
410 switch (B_TYPE(bootdev)) {
413 default_kernel[2] = '0' + B_UNIT(bootdev);
420 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev);
421 part = sd_getbsdpartition(B_X68K_SCSI_ID(bootdev),
422 B_X68K_SCSI_PART(bootdev));
430 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev);
435 printf("Warning: unknown boot device: %x\n", bootdev);