Searched defs:module_name (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c278 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c345 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2758 module_name = base_filename variable
/seL4-camkes-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2758 module_name = base_filename variable
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py2758 module_name = base_filename variable

Completed in 102 milliseconds