create_disk
static disk_t *create_disk(char *deviceid, char *kernel_name,
diskp = create_disk(devidstr, kernel_name, args);