164     aml_append(dev, aml_name_decl("_ADR", aml_int(idx)));  in build_fdinfo_aml()
167     aml_append(fdi, aml_int(idx));  /* Drive Number */  in build_fdinfo_aml()
169         aml_int(cmos_get_fd_drive_type(type)));  /* Device Type */  in build_fdinfo_aml()
174     aml_append(fdi, aml_int(maxc));  /* Maximum Cylinder Number */  in build_fdinfo_aml()
175     aml_append(fdi, aml_int(maxs));  /* Maximum Sector Number */  in build_fdinfo_aml()
176     aml_append(fdi, aml_int(maxh));  /* Maximum Head Number */  in build_fdinfo_aml()
181     aml_append(fdi, aml_int(0xAF));  /* disk_specify_1 */  in build_fdinfo_aml()
182     aml_append(fdi, aml_int(0x02));  /* disk_specify_2 */  in build_fdinfo_aml()
183     aml_append(fdi, aml_int(0x25));  /* disk_motor_wait */  in build_fdinfo_aml()
184     aml_append(fdi, aml_int(0x02));  /* disk_sector_siz */  in build_fdinfo_aml()
185     aml_append(fdi, aml_int(0x12));  /* disk_eot */  in build_fdinfo_aml()
186     aml_append(fdi, aml_int(0x1B));  /* disk_rw_gap */  in build_fdinfo_aml()
187     aml_append(fdi, aml_int(0xFF));  /* disk_dtl */  in build_fdinfo_aml()
188     aml_append(fdi, aml_int(0x6C));  /* disk_formt_gap */  in build_fdinfo_aml()
189     aml_append(fdi, aml_int(0xF6));  /* disk_fill */  in build_fdinfo_aml()
190     aml_append(fdi, aml_int(0x0F));  /* disk_head_sttl */  in build_fdinfo_aml()
191     aml_append(fdi, aml_int(0x08));  /* disk_motor_strt */  in build_fdinfo_aml()