Lines Matching defs:tmp64
506 uint64_t tmp64;
514 tmp64 = (userbuf[21] << 22) & 0x00000000ffc00000;
515 tmp64 |= (userbuf[22] >> 42) & 0x00000000003fffff;
517 tmp64 |= (userbuf[22] >> 10) & 0x0000000080000000;
518 raddr[0] = (uint32_t)tmp64;
521 tmp64 = (userbuf[22] >> 9) & 0x00000000ffffffff;
523 tmp64 |= (userbuf[22] << 23) & 0x0000000080000000;
524 raddr[1] = (uint32_t)tmp64;
527 tmp64 = (userbuf[22] << 24) & 0x00000000ff000000;
528 tmp64 |= (userbuf[23] >> 40) & 0x0000000000ffffff;
530 tmp64 |= (userbuf[23] >> 8) & 0x0000000080000000;
531 raddr[2] = (uint32_t)tmp64;
534 tmp64 = (userbuf[23] >> 7) & 0x00000000ffffffff;
536 tmp64 |= (userbuf[23] << 25) & 0x0000000080000000;
537 raddr[3] = (uint32_t)tmp64;
691 uint64_t tmp64;
720 tmp64 = *intrigue_bitmask & *memaddr++;
721 tmp64 |= (~(*intrigue_bitmask++)) & *bptr;
722 *bptr++ = tmp64;
747 tmp64 = __raw_readq(runway + RUNWAY_STATUS) & 0xffecfffffffffffful;
748 __raw_writeq(tmp64 | (*memaddr++ & 0x0013000000000000ul),