Lines Matching defs:val
131 uint32_t val;
136 val = *(uint32_t*)&write_buffer[cur_pos];
138 return val;
142 uint64_t val;
147 val = *(uint64_t*)&write_buffer[cur_pos];
149 return val;
354 uint32_t val = 0;
359 val = read_32bit_value();
361 if (val != (uint32_t)-1) {
363 if (val != 0x01a10000) {
364 fprintf(stderr, "profiling:invalid magic number (0x%08x)\n", val);
368 val = read_32bit_value();
369 if (val == (uint32_t)-1 || val / 2 != num_counters) {
370 fprintf(stderr, "profiling:invalid number of counters (%d)\n", val);
