firmware
char bios[100], firmware[100];
snprintf(firmware, sizeof(firmware),
snprintf(firmware, sizeof(firmware), "%.4s",
printf("Firmware =\t%s\n", firmware);
{"firmware", firmware, FIRMWARE_USAGE},
void firmware(int, char *[]) __dead;
u_int32_t *firmware = malloc(firmware_words * sizeof(u_int32_t));
check(firmware != NULL, "unable to malloc buffer for firmware: %s",
memset(firmware, 0, firmware_words * sizeof(u_int32_t));
firmware[cpu_offset] = word;
memcmp(&firmware[i], zeroes, sizeof(zeroes)) == 0) {
firmware[i+0], firmware[i+1],
firmware[i+2], firmware[i+3]);
firmware[i] = htonl(firmware[i]);
check(fwrite(firmware, sizeof(u_int32_t), firmware_words, fpout) ==
u_int8_t firmware[8];
printf(", FW %c%c%c%c%c%c%c", ai->firmware[0], ai->firmware[1],
ai->firmware[2], ai->firmware[3], ai->firmware[4], ai->firmware[5],
ai->firmware[6]);