| /seL4-refos-master/libs/libmuslc/src/setjmp/arm/ |
| H A D | longjmp.s | 33 ldcl p1, cr10, [ip], #8
34 ldcl p1, cr11, [ip], #8
35 ldcl p1, cr12, [ip], #8
36 ldcl p1, cr13, [ip], #8
37 ldcl p1, cr14, [ip], #8
38 ldcl p1, cr15, [ip], #8
|
| H A D | setjmp.s | 35 stcl p1, cr10, [ip], #8
36 stcl p1, cr11, [ip], #8
37 stcl p1, cr12, [ip], #8
38 stcl p1, cr13, [ip], #8
39 stcl p1, cr14, [ip], #8
40 stcl p1, cr15, [ip], #8
|
| /seL4-refos-master/libs/libmuslc/src/setjmp/arm_sel4/ |
| H A D | longjmp.s | 33 ldcl p1, cr10, [ip], #8
34 ldcl p1, cr11, [ip], #8
35 ldcl p1, cr12, [ip], #8
36 ldcl p1, cr13, [ip], #8
37 ldcl p1, cr14, [ip], #8
38 ldcl p1, cr15, [ip], #8
|
| H A D | setjmp.s | 35 stcl p1, cr10, [ip], #8
36 stcl p1, cr11, [ip], #8
37 stcl p1, cr12, [ip], #8
38 stcl p1, cr13, [ip], #8
39 stcl p1, cr14, [ip], #8
40 stcl p1, cr15, [ip], #8
|
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | lgamma_r.c | 174 double_t t,y,z,nadj,p,p1,p2,p3,q,r,w; local
236 p1 = a0+z*(a2+z*(a4+z*(a6+z*(a8+z*a10))));
238 p = y*p1+p2;
244 p1 = t0+w*(t3+w*(t6+w*(t9 +w*t12))); /* parallel comp */
247 p = z*p1-(tt-w*(p2+y*p3));
251 p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*u5)))));
253 r += -0.5*y + p1/p2;
|
| H A D | lgammaf_r.c | 109 float t,y,z,nadj,p,p1,p2,p3,q,r,w; local
171 p1 = a0+z*(a2+z*(a4+z*(a6+z*(a8+z*a10))));
173 p = y*p1+p2;
179 p1 = t0+w*(t3+w*(t6+w*(t9 +w*t12))); /* parallel comp */
182 p = z*p1-(tt-w*(p2+y*p3));
186 p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*u5)))));
188 r += -0.5f*y + p1/p2;
|
| H A D | lgammal.c | 227 long double t, y, z, nadj, p, p1, p2, q, r, w; local
292 p1 = a0 + y * (a1 + y * (a2 + y * (a3 + y * (a4 + y * a5))));
294 r += 0.5 * y + y * p1/p2;
297 p1 = g0 + y * (g1 + y * (g2 + y * (g3 + y * (g4 + y * (g5 + y * g6)))));
299 p = tt + y * p1/p2;
303 p1 = y * (u0 + y * (u1 + y * (u2 + y * (u3 + y * (u4 + y * (u5 + y * u6))))));
305 r += (-0.5 * y + p1 / p2);
|
| /seL4-refos-master/libs/libmuslc/src/regex/ |
| H A D | regcomp.c | 2454 /* Adds a transition from each position in `p1' to each position in `p2'. */
2456 tre_make_trans(tre_pos_and_tags_t *p1, tre_pos_and_tags_t *p2, argument
2465 while (p1->position >= 0)
2479 position `p1->position'. */
2480 trans = transitions + offs[p1->position];
2484 /* If we find a previous transition from `p1->position' to
2505 /* Use the character ranges, assertions, etc. from `p1' for
2506 the transition from `p1' to `p2'. */
2507 trans->code_min = p1->code_min;
2508 trans->code_max = p1
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | region.c | 810 enter_force_field(p1, p2)
811 genericptr_t p1;
876 expire_gas_cloud(p1, p2)
877 genericptr_t p1;
883 reg = (NhRegion *) p1;
897 inside_gas_cloud(p1, p2)
898 genericptr_t p1;
905 reg = (NhRegion *) p1;
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | region.c | 810 enter_force_field(p1, p2)
811 genericptr_t p1;
876 expire_gas_cloud(p1, p2)
877 genericptr_t p1;
883 reg = (NhRegion *) p1;
897 inside_gas_cloud(p1, p2)
898 genericptr_t p1;
905 reg = (NhRegion *) p1;
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1);
|
| /seL4-refos-master/libs/libmuslc/ldso/ |
| H A D | dynlink.c | 1332 void *p1 = (void *)sp[-2]; local
1334 if (!p1) {
1341 app_loadmap = p2 ? p1 : 0;
1342 ldso.loadmap = p2 ? p2 : p1;
|