Searched defs:allocated (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h37 bool allocated; member in struct:tqueue_node
/seL4-test-master/projects/musllibc/src/network/
H A Dif_nameindex.c20 unsigned int num, allocated, str_bytes; member in struct:ifnameindexctx
/seL4-test-master/kernel/include/kernel/
H A Dboot.h142 pptr_t allocated = rootserver.paging.start; local
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h66 int allocated; member in struct:vm_ram_region
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_ram.c28 static int push_guest_ram_region(vm_mem_t *guest_memory, uintptr_t start, size_t size, int allocated) argument
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dmain.c139 size_t allocated = 0; local
433 bool allocated = false; local
[all...]
/seL4-test-master/kernel/src/kernel/
H A Dboot.c130 pptr_t allocated = rootserver_mem.start; local
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c40 bool allocated; member in struct:__anon1
57 bool allocated; member in struct:__anon2
[all...]

Completed in 122 milliseconds