275 	log_printf("\n", 0);  in display_io_devices()
276 	log_printf("=========================", 0);  in display_io_devices()
277 	log_printf(dgettext(TEXT_DOMAIN, " IO Cards "), 0);  in display_io_devices()
278 	log_printf("=========================", 0);  in display_io_devices()
279 	log_printf("\n", 0);  in display_io_devices()
280 	log_printf("\n", 0);  in display_io_devices()
316 		log_printf("     Bus   Freq\n", 0);  in display_io_cards()
317 		log_printf("Brd  Type  MHz   Slot        "  in display_io_cards()
320 		log_printf("\n", 0);  in display_io_cards()
321 		log_printf("---  ----  ----  ----------  "  in display_io_cards()
324 		log_printf("\n", 0);  in display_io_cards()
329 		log_printf("%2d   ", p->board, 0);  in display_io_cards()
330 		log_printf("%-4s  ", p->bus_type, 0);  in display_io_cards()
331 		log_printf("%3d   ", p->freq, 0);  in display_io_cards()
337 			log_printf("%10s  ", p->slot_str, 0);  in display_io_cards()
339 			log_printf("%10d  ", p->slot, 0);  in display_io_cards()
341 		log_printf("%-28.28s", p->name, 0);  in display_io_cards()
343 			log_printf("+ ", 0);  in display_io_cards()
345 			log_printf("  ", 0);  in display_io_cards()
346 		log_printf("%-19.19s", p->model, 0);  in display_io_cards()
348 			log_printf("+", 0);  in display_io_cards()
349 		log_printf("\n", 0);  in display_io_cards()
471 			log_printf("%s Hardware Configuration:\n", label, 0);  in display_ffb()
472 			log_printf("-----------------------------------\n", 0);  in display_ffb()
475 			log_printf("\tBoard rev: %d\n",  in display_ffb()
477 			log_printf("\tFBC version: 0x%x\n", fsi.fbc_version, 0);  in display_ffb()
478 			log_printf("\tDAC: %s\n",  in display_ffb()
480 			log_printf("\t3DRAM: %s\n",  in display_ffb()
482 			log_printf("\n", 0);  in display_ffb()