Lines Matching defs:value
51 static void print_value(FILE *file, uint32_t value, int bits)
54 if (value <= (1 << 15)) {
55 if (value <= 9)
56 fprintf(file, "%u\n", value);
58 fprintf(file, "%u (0x%0*x)\n", value, bits / 4, value);
60 float f = uif(value);
63 fprintf(file, "%.1ff (0x%0*x)\n", f, bits / 4, value);
66 fprintf(file, "0x%0*x\n", bits / 4, value);
70 static void print_named_value(FILE *file, const char *name, uint32_t value,
75 print_value(file, value, bits);
78 static void eg_dump_reg(FILE *file, unsigned offset, uint32_t value,
95 print_value(file, value, 32);
102 uint32_t val = (value & field->mask) >>
129 fprintf(file, COLOR_YELLOW "0x%05x" COLOR_RESET " <- 0x%08x\n", offset, value);