TRUNC
TRUNC(z);
TRUNC(v.a);
TRUNC(r.a);
TRUNC(r.a);
t = x, TRUNC(t);
xx.a = (t + x), TRUNC(xx.a);
xx.a = x, TRUNC(xx.a);
d = r.a/x, TRUNC(d);
t.a = z, TRUNC(t.a); /* t ~= z + c */
TRUNC(t.a);
r.a = p, TRUNC(r.a); /* r = P/Q */
r.a = t.a + a0_hi, TRUNC(r.a);
TRUNC(v.a);
TRUNC(v.a); /* truncate v.a to 26 bits. */
u1 = u, TRUNC(u1);
u1 = u, TRUNC(u1);
TRUNC(r.a);
TRUNC(t.a);
u1 = u, TRUNC(u1);
TRUNC(r.a);
TRUNC(v.a);
TRUNC(r.a);
TRUNC(r.a);
t = x, TRUNC(t);
xx.a = (t + x), TRUNC(xx.a);
xx.a = x, TRUNC(xx.a);
d = r.a/x, TRUNC(d);
t.a = z, TRUNC(t.a); /* t ~= z + c */
TRUNC(t.a);
r.a = p, TRUNC(r.a); /* r = P/Q */
r.a = t.a + a0_hi, TRUNC(r.a);
uint32_t truncPage(uint32_t v) { return TRUNC(v, _page_size); }
{ return TRUNC(v, uint32_t(WCE_REGION_SIZE)); }