/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/ |
H A D | crt0.S | 28 call _camkes_start_c
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/ia32/ |
H A D | crt0.S | 43 call seL4_InitBootInfo 47 call _init 50 call main 54 call exit
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/ |
H A D | crt0.S | 40 call seL4_InitBootInfo 43 call _init 45 call main 48 call exit
|
/seL4-camkes-master/kernel/src/arch/x86/32/smp/ |
H A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument 14 switch (call) { 28 fail("Invalid remote call");
|
/seL4-camkes-master/kernel/src/arch/x86/64/smp/ |
H A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument 15 switch (call) { 25 fail("Invalid remote call");
|
/seL4-camkes-master/projects/sel4runtime/crt/sel4_arch/ia32/ |
H A D | crt0.S | 18 * GCC expects that a C function is always entered via a call 25 * call instruction to __sel4_start_c. 29 call __sel4_start_c
|
H A D | sel4_crt0.S | 20 * GCC expects that a C function is always entered via a call 27 * call instruction to __sel4_start_c. 32 call __sel4_start_root
|
/seL4-camkes-master/projects/sel4runtime/crt/sel4_arch/x86_64/ |
H A D | crt0.S | 19 * GCC expects that a C function is always entered via a call 25 * manually re-aligned before the call instruction to 30 call __sel4_start_c
|
H A D | sel4_crt0.S | 20 * GCC expects that a C function is always entered via a call 26 * manually re-aligned before the call instruction to 31 call __sel4_start_root
|
/seL4-camkes-master/projects/musllibc/src/ldso/i386/ |
H A D | dlsym.s | 9 call __dlsym
|
/seL4-camkes-master/projects/musllibc/src/internal/i386_sel4/ |
H A D | syscall.s | 3 # We do some gymnastics here to pretend that a call to __syscall 4 # Is actually a call into the __sysinfo function. As they have 13 subl $4, %esp # Reserve space for tail call 15 call 1f # Determine our IP 24 ret # Tail call
|
/seL4-camkes-master/projects/musllibc/src/internal/x86_64_sel4/ |
H A D | syscall.s | 3 # We do some gymnastics here to pretend that a call to __syscall 4 # Is actually a call into the __sysinfo function. As they have 13 subq $8, %rsp # Reserve space for tail call 15 call 1f # Determine our IP 24 ret # Tail call
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | hypervisor.c | 128 multicall_entry_t call; local 131 call.op = op; 132 call.args[0] = a0; 133 call.args[1] = a1; 134 call.args[2] = a2; 135 call.args[3] = a3; 136 call.args[4] = a4; 138 ret = HYPERVISOR_multicall(&call, 1);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
H A D | crt0.S | 63 * it is 16 byte aligned, so we can safely call the function. 65 call _camkes_start_c
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/i386/ |
H A D | cpu_sched_switch.S | 46 call *%ebx 47 call bmk_sched_exit
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86_64/ |
H A D | cpu_sched_switch.S | 46 call *%rbx 47 call bmk_sched_exit
|
/seL4-camkes-master/projects/musllibc/src/process/i386/ |
H A D | vfork.s | 12 call __syscall_ret
|
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | smmu.h | 19 bool_t call, word_t *buffer); 23 bool_t call, word_t *buffer); 27 bool_t call, word_t *buffer); 31 bool_t call, word_t *buffer);
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | head.S | 62 call print_string 63 call hang 73 call huge_page_check 135 call print_string 136 call hang 153 call print_string 154 call hang 171 call print_string 172 call hang 194 call print_strin [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/i386/ |
H A D | tls.s | 15 call __tls_get_new
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | rpc-connector-common-to.c | 109 unsigned call = 0; local 110 unsigned * call_ptr = &call; 113 /*? type ?*/ call; 114 /*? type ?*/ * call_ptr = &call;
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4RPCNoThreads-to.template.c | 134 unsigned call = 0; local 135 unsigned * call_ptr = &call; 138 /*? type ?*/ call; 139 /*? type ?*/ * call_ptr = &call;
|
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/ |
H A D | clone.s | 22 # shuffle args into correct registers and call SYS_clone 39 # we're the child. call fn(arg) 45 # call SYS_exit. exit code is already in r3 from fn return value
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/ |
H A D | intr.S | 40 call cons_puts ;\ 42 call cons_puts ;\ 44 call cons_putc ;\ 61 * call these especially fatal. 78 call cpu_fattrap ;\ 117 * Macro to define interrupt stub to call C handler. 130 call isr ;\
|
/seL4-camkes-master/tools/rumprun/platform/ |
H A D | Makefile.inc | 71 $(eval $(call BUILDLIB_target,libbmk_core,${PLIBDIR})) 72 $(eval $(call BUILDLIB_target,libbmk_rumpuser,${PLIBDIR})) 73 $(eval $(call BUILDLIB_target,librumpkern_bmktc,${PLIBDIR})) 74 $(eval $(call BUILDLIB_target,librumpkern_mman,${PLIBDIR})) 75 $(eval $(call BUILDLIB_target,librumprun_base,${PLIBDIR})) 76 $(eval $(call BUILDLIB_target,librumprun_tester,${PLIBDIR})) 77 $(eval $(call BUILDLIB_target,librumprunfs_base,${PLIBDIR})) 78 $(eval $(call BUILDLIB_target,libcompiler_rt,${PLIBDIR},RUMPSRC=${RUMPSRC})) 80 $(eval $(call BUILDLIB_target,libunwind,${PLIBDIR}))
|