Lines Matching defs:val
355 uint64_t val,val2,val3;
382 val = READCSR(datareg);
392 (uint32_t)val,(uint32_t)val2,(uint32_t)val3);
402 val = READCSR(datareg);
417 val2,val);
426 val = READCSR(datareg);
428 (int)(val & 0x0F),(int)((val >> 4) & 0x0F));
436 val = READCSR(datareg);
437 printf("Ready to pick: %06llx\n",((val >> 32) & 0xFFFFFF));
438 printf("IVC OK: %06llx\n",(val & 0xFFFFFF));
450 uint64_t val,val2,val3;
469 val = READCSR(datareg);
479 val3,val,val2);
487 val = READCSR(datareg);
497 (uint32_t)val,(uint32_t)val2,(uint32_t)val3);
691 char *showfields(bitfield_t *fields,uint64_t val)
721 if (fields->field & val) p += sprintf(p,"%s ",setstr);
728 (int)((fields->field & val) >> right));