diff options
Diffstat (limited to 'disk')
| -rw-r--r-- | disk/part.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/disk/part.c b/disk/part.c index 9594bb432c..5f64da54e5 100644 --- a/disk/part.c +++ b/disk/part.c @@ -150,9 +150,6 @@ void dev_print (struct blk_desc *dev_desc) case IF_TYPE_VIRTIO: printf("%s VirtIO Block Device\n", dev_desc->vendor); break; - case IF_TYPE_DOC: - puts("device type DOC\n"); - return; case IF_TYPE_UNKNOWN: puts("device type unknown\n"); return; @@ -266,9 +263,6 @@ static void print_part_header(const char *type, struct blk_desc *dev_desc) case IF_TYPE_USB: puts ("USB"); break; - case IF_TYPE_DOC: - puts ("DOC"); - break; case IF_TYPE_MMC: puts ("MMC"); break; @@ -782,9 +776,6 @@ void part_set_generic_name(const struct blk_desc *dev_desc, case IF_TYPE_USB: devtype = "usbd"; break; - case IF_TYPE_DOC: - devtype = "docd"; - break; case IF_TYPE_MMC: case IF_TYPE_SD: devtype = "mmcsd"; |