Lines Matching refs:tmp64
557 uint64_t tmp64;
565 tmp64 = (userbuf[21] << 22) & 0x00000000ffc00000;
566 tmp64 |= (userbuf[22] >> 42) & 0x00000000003fffff;
568 tmp64 |= (userbuf[22] >> 10) & 0x0000000080000000;
569 raddr[0] = (uint32_t)tmp64;
572 tmp64 = (userbuf[22] >> 9) & 0x00000000ffffffff;
574 tmp64 |= (userbuf[22] << 23) & 0x0000000080000000;
575 raddr[1] = (uint32_t)tmp64;
578 tmp64 = (userbuf[22] << 24) & 0x00000000ff000000;
579 tmp64 |= (userbuf[23] >> 40) & 0x0000000000ffffff;
581 tmp64 |= (userbuf[23] >> 8) & 0x0000000080000000;
582 raddr[2] = (uint32_t)tmp64;
585 tmp64 = (userbuf[23] >> 7) & 0x00000000ffffffff;
587 tmp64 |= (userbuf[23] << 25) & 0x0000000080000000;
588 raddr[3] = (uint32_t)tmp64;
742 uint64_t tmp64;
771 tmp64 = *intrigue_bitmask & *memaddr++;
772 tmp64 |= (~(*intrigue_bitmask++)) & *bptr;
773 *bptr++ = tmp64;
802 tmp64 = __raw_readq(runway + RUNWAY_STATUS) & 0xffecfffffffffffful;
803 __raw_writeq(tmp64 | (*memaddr++ & 0x0013000000000000ul),