Lines Matching defs:port
1214 unsigned int port, unsigned int enable)
1221 grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port));
1223 if (!enable) /* We don't need reset port */
1225 /* Disable the port and wait for it. */
1226 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,
1229 while ((grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port)
1235 grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port));
1244 /* Reset the port - timing of reset is done by OHCI */
1245 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,
1250 while (! (grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port)
1256 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,
1258 grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port);
1261 /* Enable port */
1262 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,
1264 grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port);
1268 while (! (grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port)
1274 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,
1281 grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port));
1287 grub_ohci_detect_dev (grub_usb_controller_t dev, int port, int *changed)
1292 status = grub_ohci_readreg32 (o, GRUB_OHCI_REG_RHUBPORT + port);
1301 grub_ohci_writereg32 (o, GRUB_OHCI_REG_RHUBPORT + port,