Lines Matching refs:bootdev
134 int bootdev; in doboot() local
158 bootdev = X68K_MAKEBOOTDEV(X68K_MAJOR_NE, unit, 0); in doboot()
160 bootdev = X68K_MAKEBOOTDEV(X68K_MAJOR_FD, unit & 3, 0); in doboot()
171 bootdev = X68K_MAKESCSIBOOTDEV(maj, in doboot()
177 printf("boot device = %x\n", bootdev); in doboot()
180 B_TYPE(bootdev), in doboot()
181 B_X68K_SCSI_IF(bootdev), in doboot()
182 B_X68K_SCSI_IF_UN(bootdev)); in doboot()
185 B_TYPE(bootdev), in doboot()
186 B_X68K_SCSI_IF(bootdev), in doboot()
187 B_X68K_SCSI_IF_UN(bootdev), in doboot()
188 B_X68K_SCSI_ID(bootdev), in doboot()
189 B_X68K_SCSI_LUN(bootdev), in doboot()
190 B_X68K_SCSI_PART(bootdev) + 'a'); in doboot()
238 marks[MARK_END]-marks[MARK_START], bootdev, flags); in doboot()
385 bootmain(int bootdev) in bootmain() argument
410 switch (B_TYPE(bootdev)) { in bootmain()
413 default_kernel[2] = '0' + B_UNIT(bootdev); in bootmain()
417 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev); in bootmain()
419 'a' + sd_getbsdpartition(B_X68K_SCSI_ID(bootdev), in bootmain()
420 B_X68K_SCSI_PART(bootdev)); in bootmain()
424 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev); in bootmain()
428 printf("Warning: unknown boot device: %x\n", bootdev); in bootmain()