Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

Searched defs:vaddr_t (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A D	pager.h	`24 typedef seL4_Word vaddr_t; typedef`
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A D	common.h	`44 typedef seL4_Word vaddr_t; typedef`
/seL4-refos-master/apps/file_server/src/
H A D	pager.h	`24 typedef seL4_Word vaddr_t; typedef`
/seL4-refos-master/apps/process_server/src/
H A D	common.h	`44 typedef seL4_Word vaddr_t; typedef`
/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A D	elfloader_common.h	`12 typedef uintptr_t vaddr_t; typedef`
/seL4-refos-master/tools/elfloader/include/
H A D	elfloader_common.h	`12 typedef uintptr_t vaddr_t; typedef`

Completed in 49 milliseconds