Searched refs:dev_type (Results 1 – 6 of 6) sorted by relevance
137 uint8_t dev_type; /* == DEV_TYPE_* */ member256 uint8_t dev_type; /* = 0 */ member
69 IPL_assert(bip->dev_type == BOOT_INFO_DEV_TYPE_ECKD, "DASD is not ECKD"); in verify_boot_info()355 if (mbr->dev_type != DEV_TYPE_ECKD) { in ipl_eckd_cdl()
277 u16 dev_type; /* device type */ member
46 uint16_t dev_type; /* device type */ member
865 uint8_t dev_type = get_device_type(s, real_offset - reg->offset); in xen_pt_linkctrl_reg_init() local870 if ((dev_type == PCI_EXP_TYPE_RC_END) && (cap_ver == 1)) { in xen_pt_linkctrl_reg_init()
161 VMSTATE_UINT16(dev_type, SenseId),768 stw_be_p(dest + 4, src->dev_type); in copy_sense_id_to_guest()