Searched refs:module_name (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
| H A D | guest_image.h | 58 * @function vm_load_guest_module(vm, module_name, load_address, alignment, guest_image)
61 * @param {const char *} module_name Name of the module image
67 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment,
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_image.c | 345 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
348 ZF_LOGI("Loading module \"%s\" at 0x%x\n", module_name, (unsigned int)load_address);
351 FILE *file = fopen(module_name, "r");
353 ZF_LOGE("Module \"%s\" not found.", module_name);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_image.c | 278 int vm_load_guest_module(vm_t *vm, const char *module_name, uintptr_t load_address, size_t alignment, argument
289 load_addr = load_guest_module_image(vm, module_name, load_address, &module_len);
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 2758 module_name = base_filename variable
2785 print("theory %s_defs" % module_name, file=out_file)
2800 print("theory %s_defs" % module_name, file=out_file)
2806 print(" %s_%s_defs" % (module_name, e.name),
2850 print("theory %s_proofs" % module_name, file=out_file)
2851 print("imports %s_defs" % module_name, file=out_file)
2862 print("theory %s_proofs" % module_name, file=out_file)
2865 print(" %s_%s_proofs" % (module_name, e.name),
|
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 2758 module_name = base_filename variable
2785 print("theory %s_defs" % module_name, file=out_file)
2800 print("theory %s_defs" % module_name, file=out_file)
2806 print(" %s_%s_defs" % (module_name, e.name),
2850 print("theory %s_proofs" % module_name, file=out_file)
2851 print("imports %s_defs" % module_name, file=out_file)
2862 print("theory %s_proofs" % module_name, file=out_file)
2865 print(" %s_%s_proofs" % (module_name, e.name),
|
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 2758 module_name = base_filename variable
2785 print("theory %s_defs" % module_name, file=out_file)
2800 print("theory %s_defs" % module_name, file=out_file)
2806 print(" %s_%s_defs" % (module_name, e.name),
2850 print("theory %s_proofs" % module_name, file=out_file)
2851 print("imports %s_defs" % module_name, file=out_file)
2862 print("theory %s_proofs" % module_name, file=out_file)
2865 print(" %s_%s_proofs" % (module_name, e.name),
|
Completed in 57 milliseconds