Lines Matching refs:device
0 /* device.c - device manager */
20 #include <grub/device.h>
42 grub_error (GRUB_ERR_BAD_DEVICE, "no device is set");
75 grub_device_close (grub_device_t device)
77 if (device->disk)
78 grub_disk_close (device->disk);
80 if (device->net)
82 grub_free (device->net->server);
83 grub_free (device->net);
86 grub_free (device);