int32
static void int32_divmod_uint14(int32 *q,uint16 *r,int32 x,uint16 m)
static uint16 int32_mod_uint14(int32 x,uint16 m)
int32 q;
static Fq Fq_freeze(int32 x)
int32 *x = array;
ai = Fq_freeze(a1*(int32)ai);
return (tau1*(int32)(C+tau0)+16384)>>15;
return Fq_freeze(tau3*(int32)T-tau2);
for (j = 0;j <= i;++j) result = Fq_freeze(result+f[j]*(int32)g[i-j]);
for (j = i-p+1;j < p;++j) result = Fq_freeze(result+f[j]*(int32)g[i-j]);
int32 f0,g0;
for (i = 0;i < p;++i) out[i] = Fq_freeze(scale*(int32)v[p-1-i]);
int32 a = x[j + p];
int32 a = x[j + p];
int32 a = x[j + p];
int32_t int32;
SDP_GET32(value.int32, start);
printf("int32 %d\n", value.int32);
int32 v_unused[6]; /* currently unused */
sendreply(int forward, int32 dst_override)
PRIVATE int chk_access(char *, int32 *);
chk_access(char *path, int32 *filesize)
*filesize = (int32) st.st_size;
PRIVATE void dovend_rfc1048(struct bootp *, struct host *, int32);
PRIVATE void sendreply(int forward, int32 dest_override);
dovend_rfc1048(struct bootp *bp, struct host *hp, int32 bootsize)
actualtimeout.tv_sec = (int32) (60 * n);
int32 bootsize = 0;
int32 dest;
int32 time_offset;
int32 server_ipa; /* Real server IP address, network order. */
actualtimeout.tv_sec = (int32) (60 * n);
int32 m, a;
PRIVATE int32 modtime = 0; /* Last modification time of bootptab */
int32 timeoff;
int32 server_addr; /* inet addr, network order */
int32 vend_magic;
int32 xid;
xid = (int32) getpid();
bp += sizeof(int32);
int32 secondswest;
extern int32 secondswest;