If a path of a device having multiple paths is labelled with the EFI format using an operating system command such as format, the vxdisk list command output shows the device in error state.