Lines Matching refs:Registered
245 PciIoDevice - A PCI_IO_DEVICE pointer to the PCI IO device to be registered.
250 EFI_SUCCESS - The PCI device is successfully registered.
321 // Indicate the pci device is registered
323 PciIoDevice->Registered = TRUE;
372 // If it is already de-registered
374 if (!PciIoDevice->Registered) {
459 PciIoDevice->Registered = FALSE;
584 // Check if the current node has been registered before
587 if (!Temp->Registered) {
633 if (!Temp->Registered && Temp->Allocated) {