Searched refs:disk_ident (Results 1 – 1 of 1) sorted by relevance
79 disk_identifier disk_ident; in platform_register_boot_device() local80 disk_ident.bus_type = UNKNOWN_BUS; in platform_register_boot_device()81 disk_ident.device_type = UNKNOWN_DEVICE; in platform_register_boot_device()82 disk_ident.device.unknown.size = device->Size(); in platform_register_boot_device()85 disk_ident.device.unknown.check_sums[i].offset = -1; in platform_register_boot_device()86 disk_ident.device.unknown.check_sums[i].sum = 0; in platform_register_boot_device()90 &disk_ident, sizeof(disk_ident)); in platform_register_boot_device()