Searched refs:getSyscallArg (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c42 word_t irq_w = getSyscallArg(0, buffer);
44 bool_t trigger = !!getSyscallArg(1, buffer);
45 word_t index = getSyscallArg(2, buffer);
46 word_t depth = getSyscallArg(3, buffer);
H A Dvcpu.c558 field = getSyscallArg(0, buffer);
559 value = getSyscallArg(1, buffer);
597 field = getSyscallArg(0, buffer);
637 mr0 = getSyscallArg(0, buffer);
652 mr0 = getSyscallArg(0, buffer);
653 mr1 = getSyscallArg(1, buffer);
H A Diospace.c191 io_address = getSyscallArg(0, buffer) & ~MASK(SMMU_IOPD_INDEX_SHIFT);
297 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
326 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c107 index = getSyscallArg(0, buffer);
108 depth = getSyscallArg(1, buffer);
110 irq = getSyscallArg(6, buffer);
142 word_t ioapic = getSyscallArg(2, buffer);
143 word_t pin = getSyscallArg(3, buffer);
144 word_t level = getSyscallArg(4, buffer);
145 word_t polarity = getSyscallArg(5, buffer);
157 word_t pci_bus = getSyscallArg(2, buffer);
158 word_t pci_dev = getSyscallArg(3, buffer);
159 word_t pci_func = getSyscallArg(
[all...]
H A Dioport.c144 first_port = getSyscallArg(0, buffer) & 0xffff;
145 last_port = getSyscallArg(1, buffer) & 0xffff;
146 index = getSyscallArg(2, buffer);
147 depth = getSyscallArg(3, buffer);
267 uint16_t port = getSyscallArg(0, buffer) & 0xffff;
292 uint16_t port = getSyscallArg(0, buffer) & 0xffff;
293 seL4_Word raw_data = getSyscallArg(1, buffer);
H A Dvcpu.c532 vcpu->gp_registers[i] = getSyscallArg(i, buffer);
592 low = getSyscallArg(0, buffer);
593 high = getSyscallArg(1, buffer);
628 low = getSyscallArg(0, buffer);
629 high = getSyscallArg(1, buffer);
676 field = getSyscallArg(0, buffer);
677 value = getSyscallArg(1, buffer);
809 word_t field = getSyscallArg(0, buffer);
942 vmwrite(VMX_GUEST_RIP, getSyscallArg(0, buffer));
943 vmwrite(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS, applyFixedBits(getSyscallArg(
[all...]
H A Diospace.c216 io_address = getSyscallArg(0, buffer) & ~MASK(VTD_PT_INDEX_BITS + seL4_PageBits);
350 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
391 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
/seL4-l4v-10.1.1/seL4/include/api/
H A Dsyscall.h29 getSyscallArg(word_t i, word_t* ipc_buffer) function
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c65 newType = getSyscallArg(0, buffer);
66 userObjSize = getSyscallArg(1, buffer);
67 nodeIndex = getSyscallArg(2, buffer);
68 nodeDepth = getSyscallArg(3, buffer);
69 nodeOffset = getSyscallArg(4, buffer);
70 nodeWindow = getSyscallArg(5, buffer);
H A Dtcb.c418 affinity = getSyscallArg(0, buffer);
458 bp_num = getSyscallArg(0, buffer);
459 n_instrs = getSyscallArg(1, buffer);
490 bp_num = getSyscallArg(0, buffer);
491 vaddr = getSyscallArg(1, buffer);
492 type = getSyscallArg(2, buffer);
493 size = getSyscallArg(3, buffer);
494 rw = getSyscallArg(4, buffer);
621 bp_num = getSyscallArg(0, buffer);
650 bp_num = getSyscallArg(
[all...]
H A Dcnode.c63 index = getSyscallArg(0, buffer);
64 w_bits = getSyscallArg(1, buffer);
87 srcIndex = getSyscallArg(2, buffer);
88 srcDepth = getSyscallArg(3, buffer);
123 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
142 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
143 capData = getSyscallArg(5, buffer);
169 capData = getSyscallArg(4, buffer);
240 pivotNewData = getSyscallArg(2, buffer);
241 pivotIndex = getSyscallArg(
[all...]
H A Dinterrupt.c45 irq_w = getSyscallArg(0, buffer);
47 index = getSyscallArg(1, buffer);
48 depth = getSyscallArg(2, buffer);
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c722 word_t vaddr = getSyscallArg(0, buffer);
809 word_t vaddr = getSyscallArg(0, buffer);
810 word_t w_rightsMask = getSyscallArg(1, buffer);
811 vm_attributes_t attr = vmAttributesFromWord(getSyscallArg(2, buffer));
897 word_t w_rightsMask = getSyscallArg(0, buffer);
898 vm_attributes_t attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1028 index = getSyscallArg(0, buffer);
1029 depth = getSyscallArg(1, buffer);
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c138 val = (uint64_t)getSyscallArg(0, NULL) | ((uint64_t)getSyscallArg(1, NULL) << 32);
140 val = getSyscallArg(0, NULL);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c327 vaddr = getSyscallArg(0, buffer);
538 vaddr = getSyscallArg(0, buffer);
731 vaddr = getSyscallArg(0, buffer);
840 vaddr = getSyscallArg(0, buffer);
842 w_rightsMask = getSyscallArg(1, buffer);
843 vmAttr = vmAttributesFromWord(getSyscallArg(2, buffer));
H A Dvspace.c981 vaddr = getSyscallArg(0, buffer);
982 w_rightsMask = getSyscallArg(1, buffer);
983 vmAttr = vmAttributesFromWord(getSyscallArg(2, buffer));
1113 w_rightsMask = getSyscallArg(0, buffer);
1114 vmAttr = vmAttributesFromWord(getSyscallArg(1, buffer));
1316 vaddr = getSyscallArg(0, buffer) & (~MASK(PT_INDEX_BITS + PAGE_BITS));
1317 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1426 index = getSyscallArg(0, buffer);
1427 depth = getSyscallArg(1, buffer);
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1752 start = getSyscallArg(0, buffer);
1753 end = getSyscallArg(1, buffer);
1866 vaddr = getSyscallArg(0, buffer) & (~MASK(PGD_INDEX_OFFSET));
1956 vaddr = getSyscallArg(0, buffer) & (~MASK(PUD_INDEX_OFFSET));
2050 vaddr = getSyscallArg(0, buffer) & (~MASK(PD_INDEX_OFFSET));
2133 vaddr = getSyscallArg(0, buffer);
2134 attributes = vmAttributesFromWord(getSyscallArg(2, buffer));
2139 rightsFromWord(getSyscallArg(1, buffer)));
2253 attributes = vmAttributesFromWord(getSyscallArg(1, buffer));
2258 rightsFromWord(getSyscallArg(
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2217 start = getSyscallArg(0, buffer);
2218 end = getSyscallArg(1, buffer);
2352 vaddr = getSyscallArg(0, buffer);
2354 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
2453 vaddr = getSyscallArg(0, buffer);
2454 w_rightsMask = getSyscallArg(1, buffer);
2455 attr = vmAttributesFromWord(getSyscallArg(2, buffer));
2600 w_rightsMask = getSyscallArg(0, buffer);
2601 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
2768 start = getSyscallArg(
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c277 vaddr = getSyscallArg(0, buffer);
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1236 vaddr = getSyscallArg(0, buffer) & (~MASK(PDPT_INDEX_OFFSET));
1237 vm_attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1403 vaddr = getSyscallArg(0, buffer) & (~MASK(PML4_INDEX_OFFSET));
1404 attr = vmAttributesFromWord(getSyscallArg(1, buffer));

Completed in 139 milliseconds