Lines Matching defs:u0
4091 uint64_t u0, u1, u2, ur;
4100 u0 = *(uint64_t *)(&fargs[i]);
4117 name, u0, u1, u2, ur, flags);
4129 uint64_t u0, u1, ur;
4137 u0 = *(uint64_t *)(&fargs[i]);
4152 name, u0, u1, ur, flags);
4162 uint64_t u0, ur;
4169 u0 = *(uint64_t *)(&fargs[i]);
4181 vexxx_printf("%s %016llx => %016llx (%08x)\n", name, u0, ur, flags);