| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.h | 10 uintptr_t pstart; member in struct:vgic_dist_device
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
| H A D | device.h | 29 seL4_Word pstart; member in struct:device
|
| /seL4-camkes-master/kernel/src/arch/arm/machine/ |
| H A D | cache.c | 15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument
26 void cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
77 cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) argument
93 invalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
135 invalidateCacheRange_I(vptr_t start, vptr_t end, paddr_t pstart) argument
146 branchFlushRange(vptr_t start, vptr_t end, paddr_t pstart) argument
[all...] |
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | upap.c | 606 const u_char *pstart; local
|
| H A D | ipv6cp.c | 1404 const u_char *pstart, *optend; local
|
| H A D | eap.c | 2137 const u_char *pstart; local
|
| H A D | ipcp.c | 2242 const u_char *pstart, *optend; local
|
| H A D | lcp.c | 2387 const u_char *pstart, *optend; local
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1806 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1852 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1978 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2054 paddr_t pstart; local
2456 paddr_t pstart; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1469 performVSpaceFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1629 performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1694 paddr_t pstart; local
2245 word_t pstart = pptr_to_paddr((void *)cap_frame_cap_get_capFBasePtr(cap)) + start; local
[all...] |