Lines Matching defs:device
65 #include <device.h>
89 /* The map between BIOS drives and UNIX device file names. */
98 /* The file descriptor for a serial device. */
101 /* The file name of a serial device. */
105 /* The speed of a serial device. */
236 /* Assign DRIVE to a device name DEVICE. */
238 assign_device_name (int drive, const char *device)
252 if (! device)
255 device_map[drive] = strdup (device);
764 /* FIXME: this function is truly horrid. We try opening the device,
769 /* See if we have a cached device. */
772 /* The unpartitioned device name: /dev/XdX */
1017 /* Fetch a key from a serial device. */
1025 /* Wait only for the serial device. */
1043 /* Put a character to a serial device. */
1105 /* Initialize a serial device. In the grub shell, PORT is unused. */
1118 /* If a serial device is already opened, close it first. */
1122 /* Open the device file. */
1236 /* Set the file name of a serial device (or a pty device). This is a
1239 serial_set_device (const char *device)
1244 serial_device = strdup (device);