Searched refs:pa (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dmachine_pl2.h34 static inline void setCurrentPDPL2(paddr_t pa) {} argument
/seL4-test-master/projects/musllibc/src/math/
H A Derfl.c142 /* 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-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dsyscalls.c23 uint32_t pa; local
26 pa = regs->r0;
29 ZF_LOGD("PA translation syscall from [%s]: 0x%08x->?\n", vm->vm_name, pa);
32 regs->r0 = pa;
/seL4-test-master/tools/riscv-pk/pk/
H A Dmmap.h28 void __map_kernel_range(uintptr_t va, uintptr_t pa, size_t len, int prot);
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h186 static inline void setCurrentPDPL2(paddr_t pa) {} argument
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dintel-vtd.c401 pptr_t pa = (pptr_t)pptr_to_paddr((void *)x86KSvtdRootTable); local
404 vtd_write64(i, RTADDR_REG, pa);
/seL4-test-master/tools/riscv-pk/scripts/
H A Dconfig.sub968 pa-hitachi)

Completed in 97 milliseconds