Lines Matching refs:T0_PUSH
893 #define T0_PUSH(v) do { *dp = (v); dp ++; } while (0)
924 T0_PUSH(T0_PEEK(t0depth)); \
958 T0_PUSH(T0_LOCAL(t0_parse7E_unsigned(&ip)));
993 T0_PUSH(a * b);
1002 T0_PUSH(a + b);
1011 T0_PUSH(a - b);
1034 T0_PUSH(-(uint32_t)(a < b));
1043 T0_PUSH(x << c);
1052 T0_PUSH(-(uint32_t)(a <= b));
1061 T0_PUSH(-(uint32_t)(a != b));
1070 T0_PUSH(-(uint32_t)(a == b));
1079 T0_PUSH(-(uint32_t)(a > b));
1088 T0_PUSH(-(uint32_t)(a >= b));
1106 T0_PUSH(a & b);
1226 T0_PUSH(len);
1313 T0_PUSH(t0_datablock[addr]);
1320 T0_PUSH(DNHASH_LEN);
1335 T0_PUSH(verify_signature(CTX, &pk));
1351 T0_PUSH(verify_signature(CTX, &pk));
1362 T0_PUSH(T0_PEEK(0));
1377 T0_PUSH((uint32_t)x);
1406 T0_PUSH((uint32_t)(x / 86400) + 719528);
1407 T0_PUSH((uint32_t)(x % 86400));
1416 T0_PUSH((uint32_t)(x / 86400) + 584754);
1417 T0_PUSH((uint32_t)(x % 86400));
1423 T0_PUSH(CTX->days);
1424 T0_PUSH(CTX->seconds);
1433 T0_PUSH(*(uint16_t *)(void *)((unsigned char *)CTX + addr));
1441 T0_PUSH(*(uint32_t *)(void *)((unsigned char *)CTX + addr));
1451 T0_PUSH(0);
1476 T0_PUSH(0);
1484 T0_PUSH(-a);
1513 T0_PUSH(u);
1527 T0_PUSH(a | b);
1533 T0_PUSH(T0_PEEK(1));
1557 T0_PUSH(addr + clen);
1558 T0_PUSH(len - clen);
1576 T0_PUSH(x);