/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/musllibc/src/ldso/i386/ |
H A D | dlsym.s | 9 call __dlsym
|
/seL4-test-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-test-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-test-master/projects/musllibc/src/process/i386/ |
H A D | vfork.s | 12 call __syscall_ret
|
/seL4-test-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-test-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-test-master/projects/musllibc/src/thread/i386/ |
H A D | tls.s | 15 call __tls_get_new
|
/seL4-test-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-test-master/projects/musllibc/src/thread/s390x/ |
H A D | clone.s | 29 # shuffle args into correct registers and call SYS_clone 41 # we're the child. call fn(arg) 46 # call SYS_exit. exit code is already in r2 from fn return value
|
/seL4-test-master/projects/musllibc/src/signal/i386/ |
H A D | sigsetjmp.s | 16 call ___setjmp
|
/seL4-test-master/projects/musllibc/src/signal/x32/ |
H A D | sigsetjmp.s | 14 call setjmp@PLT
|
/seL4-test-master/projects/musllibc/src/signal/x86_64/ |
H A D | sigsetjmp.s | 14 call setjmp@PLT
|
/seL4-test-master/projects/musllibc/src/internal/microblaze/ |
H A D | syscall.s | 5 addi r12, r5, 0 # Save the system call number
|
/seL4-test-master/projects/musllibc/src/internal/powerpc/ |
H A D | syscall.s | 5 mr 0, 3 # Save the system call number
|
/seL4-test-master/projects/musllibc/src/internal/powerpc64/ |
H A D | syscall.s | 5 mr 0, 3 # Save the system call number
|
/seL4-test-master/tools/nanopb/generator/proto/ |
H A D | __init__.py | 16 status = subprocess.call(cmd, cwd = dirname)
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/smp/ |
H A D | ipi.h | 37 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
|