/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 42 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 D | vcpu.c | 558 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 D | iospace.c | 191 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 D | interrupt.c | 107 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 D | ioport.c | 144 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 D | vcpu.c | 532 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 D | iospace.c | 216 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 D | syscall.h | 29 getSyscallArg(word_t i, word_t* ipc_buffer) function
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | untyped.c | 65 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 D | tcb.c | 418 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 D | cnode.c | 63 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 D | interrupt.c | 45 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 D | vspace.c | 722 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 D | syscall.c | 138 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 D | ept.c | 327 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 D | vspace.c | 981 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 D | vspace.c | 1752 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 D | vspace.c | 2217 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 D | vspace_32paging.c | 277 vaddr = getSyscallArg(0, buffer);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1236 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));
|