Searched refs:arg2 (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/src/arch/x86/64/smp/ |
| A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall() argument
17 invalidateLocalPCID(arg0, (void *)arg1, arg2); in Mode_handleRemoteCall()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall() argument
65 virq.words[0] = arg2; in handleRemoteCall()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall() argument
69 Mode_handleRemoteCall(call, arg0, arg1, arg2); in handleRemoteCall()
|
| /seL4-master/src/arch/x86/32/smp/ |
| A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall() argument
|
| /seL4-master/include/arch/x86/arch/32/mode/smp/ |
| A D | ipi.h | 37 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
|
| /seL4-master/include/arch/x86/arch/64/mode/smp/ |
| A D | ipi.h | 22 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 32 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall() argument
|
| /seL4-master/ |
| A D | gdb-macros | 402 set $n_bits = (int)$arg2
453 …arg0: CNode to start resolving at, arg1: the cap to resolve (an integer), arg2: the depth to resol…
462 …s are resolved relative to root CNode of current thread. arg1: the cap to resolve, arg2: the depth.
686 set $address = $arg2
709 …pace of a given PCI device. arg0: PCI bus number, arg1: PCI devfn number, arg2: virtual address to…
777 printf $arg2
782 If arg0 is non-zero print arg1 otherwise print arg2.
|
| /seL4-master/src/arch/arm/machine/ |
| A D | l2c_310.c | 231 BOOT_CODE static void mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) in mshield_smc() argument
234 register uint32_t _arg2 asm("r1") = arg2; in mshield_smc()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 858 register seL4_Word arg2 asm("a1") = (seL4_Word)userarg; in seL4_DebugRun()
860 asm volatile("ecall" : "+r"(arg1) : "r"(arg2), "r"(scno)); in seL4_DebugRun()
|
Completed in 16 milliseconds