/* Uninitialize the internals of a virtio-blk device that has been successfully set up with  */
STATIC VOID EFIAPI VirtioBlkUninit(IN OUT VBLK_DEV *Dev)
/* Uninitialize the internals of a virtio-blk device that has been successfully set up with  */
STATIC VOID EFIAPI VirtioBlkUninit(IN OUT VBLK_DEV *Dev)
{
  Dev->VirtIo->SetDeviceStatus (Dev->VirtIo, 0);
  Dev->VirtIo->UnmapSharedBuffer (Dev->VirtIo, Dev->RingMap);
  VirtioRingUninit (Dev->VirtIo, &Dev->Ring);
  SetMem (&Dev->BlockIo, sizeof Dev->BlockIo, 0x00);
  SetMem (&Dev->BlockIoMedia, sizeof Dev->BlockIoMedia, 0x00);
}