Searched refs:pa (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine_pl2.h | 34 static inline void setCurrentPDPL2(paddr_t pa) {} argument
|
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | erfl.c | 142 /* erf(x+1) = 0.845062911510467529296875 + pa(x)/qa(x)
145 pa[8] = { variable
247 P = pa[0] + s * (pa[1] + s * (pa[2] +
248 s * (pa[3] + s * (pa[4] + s * (pa[5] + s * (pa[6] + s * pa[
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | role.c | 1053 STATIC_VAR char pa[NUM_BP], post_attribs; variable
1111 pa[k] = 0;
1138 pa[BP_ALIGN] = 1;
1168 pa[BP_GEND] = 1;
1186 pa[BP_RACE] = 1;
1190 pa[BP_RACE] = 1;
1212 pa[BP_ROLE] = 1;
1264 if (pa[BP_RACE]) {
1268 if (pa[BP_ROLE]) {
1272 if (pa[BP_GEN
[all...] |
| H A D | mhitm.c | 205 struct permonst *pa, *pd; local
209 pa = magr->data; pd = mdef->data;
212 if (pa == &mons[PM_GRID_BUG] && magr->mx != mdef->mx
236 if (is_elf(pa) && is_orc(pd)) tmp++;
252 mattk = getmattk(pa, i, res, &alt_attk);
593 struct permonst *pa = magr->data, *pd = mdef->data; local
606 if (poly_when_stoned(pa)) {
934 if (!night() && (pa == &mons[PM_GREMLIN])) break;
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | role.c | 1053 STATIC_VAR char pa[NUM_BP], post_attribs; variable
1111 pa[k] = 0;
1138 pa[BP_ALIGN] = 1;
1168 pa[BP_GEND] = 1;
1186 pa[BP_RACE] = 1;
1190 pa[BP_RACE] = 1;
1212 pa[BP_ROLE] = 1;
1264 if (pa[BP_RACE]) {
1268 if (pa[BP_ROLE]) {
1272 if (pa[BP_GEN
[all...] |
| H A D | mhitm.c | 205 struct permonst *pa, *pd; local
209 pa = magr->data; pd = mdef->data;
212 if (pa == &mons[PM_GRID_BUG] && magr->mx != mdef->mx
236 if (is_elf(pa) && is_orc(pd)) tmp++;
252 mattk = getmattk(pa, i, res, &alt_attk);
593 struct permonst *pa = magr->data, *pd = mdef->data; local
606 if (poly_when_stoned(pa)) {
934 if (!night() && (pa == &mons[PM_GREMLIN])) break;
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 186 static inline void setCurrentPDPL2(paddr_t pa) {} argument
|
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 401 pptr_t pa = (pptr_t)pptr_to_paddr((void *)x86KSvtdRootTable); local
404 vtd_write64(i, RTADDR_REG, pa);
|
Completed in 113 milliseconds