Searched defs:ipa (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dtlb.h40 word_t ipa = ipa_plus_vmid & 0xfffffffff; local
/seL4-camkes-master/kernel/src/arch/arm/api/
H A Dfaults.c38 word_t ipa, va; local
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_memory_arch.c15 uintptr_t ipa; local
[all...]
/seL4-camkes-master/projects/lwip/src/apps/smtp/
H A Dsmtp.c1034 const char *ipa = ipaddr_ntoa(altcp_get_ip(pcb, 1)); local

Completed in 104 milliseconds