/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1625 ret.pte_entries.length = 1; 1665 ret.pte_entries.length = PAGES_PER_LARGE_PAGE; 1725 ret.pde_entries.length = 1; 1755 ret.pde_entries.length = SECTIONS_PER_SUPER_SECTION; 1908 j = pte_entries.length; 1914 for (i = 0; i < pte_entries.length; i++) { 1921 LAST_BYTE_PTE(pte_entries.base, pte_entries.length), 1942 j = pde_entries.length; 1948 for (i = 0; i < pde_entries.length; i++) { 1955 LAST_BYTE_PDE(pde_entries.base, pde_entries.length), 2044 decodeARMPageDirectoryInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2154 decodeARMPageTableInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2278 decodeARMFrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2548 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 50 .length = PAGE_SIZE_4K 55 .length = PAGE_SIZE_4K
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 60 .length = PAGE_SIZE_4K 65 .length = PAGE_SIZE_4K
|
/seL4-test-master/kernel/src/arch/x86/64/object/ |
H A D | objecttype.c | 319 word_t length, 333 return decodeX86MMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer); 317 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, argument 95 if (length < 7 || excaps.excaprefs[0] == NULL) {
|
/seL4-test-master/kernel/tools/hardware/ |
H A D | device.py | 183 # <child-addr> <parent-addr> <length> 186 # length is self.get_size_cells() long 203 length = Utils.make_number(size_cells, data) 205 if child_addr <= addr < (child_addr + length):
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 293 word_t length, 302 return decodeRISCVMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer); 291 Arch_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | hpet.c | 285 region->length = header->header.length;
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 89 uint16_t length; member in struct:sys_desc_table 159 uint16_t length; member in struct:edd_device_params
|
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1689 static exception_t decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int length, argument 1706 if (length < 2) { 1788 static exception_t decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length, argument 1815 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) { 1876 static exception_t decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, argument 1903 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) { 1969 static exception_t decodeARMPageTableInvocation(word_t invLabel, unsigned int length, argument 1996 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) { 2062 static exception_t decodeARMFrameInvocation(word_t invLabel, unsigned int length, argument 2078 if (unlikely(length < 2270 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument [all...] |
/seL4-test-master/kernel/src/object/ |
H A D | cnode.c | 42 exception_t decodeCNodeInvocation(word_t invLabel, word_t length, cap_t cap, argument 59 if (length < 2) { 83 if (length < 4 || excaps.excaprefs[0] == NULL) { 118 if (length < 5) { 137 if (length < 6) { 164 if (length < 5) { 238 if (length < 8 || excaps.excaprefs[0] == NULL
|
H A D | schedcontext.c | 150 word_t length = mode_setTimeArg(0, consumed, buffer, NODE_STATE(ksCurThread)); local 151 setRegister(NODE_STATE(ksCurThread), msgInfoRegister, wordFromMessageInfo(seL4_MessageInfo_new(0, 0, 0, length)));
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 39 .length = PAGE_SIZE_4K 44 .length = PAGE_SIZE_4K 49 .length = PAGE_SIZE_4K
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 926 word_t length, 947 if (length < 3 || excaps.excaprefs[0] == NULL) { 1081 return decodeX86IOMapInvocation(length, cte, cap, excaps, buffer); 1087 return decodeX86EPTPageMap(invLabel, length, cte, cap, excaps, buffer); 1134 word_t length, 1165 if (length < 2 || excaps.excaprefs[0] == NULL) { 1249 word_t length, 1260 return decodeX86FrameInvocation(invLabel, length, cte, cap, excaps, buffer); 1263 return decodeX86PageTableInvocation(invLabel, length, cte, cap, excaps, buffer); 1284 if (length < 924 decodeX86FrameInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument 1132 decodeX86PageTableInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument 1247 decodeX86MMUInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 285 seL4_Word length = seL4_MessageInfo_get_length(msginfo); local 287 if (label == irq_server->label && length == IRQ_SERVER_MESSAGE_LENGTH) {
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 245 word_t length, 260 if (length < 1) { 243 decodeIA32PageDirectoryInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
|
H A D | vspace.c | 629 word_t length, 639 return decodeIA32PageDirectoryInvocation(invLabel, length, cte, cap, excaps, buffer); 627 decodeX86ModeMMUInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 676 static exception_t decodeRISCVPageTableInvocation(word_t label, word_t length, argument 709 if (unlikely(length < 2 || extraCaps.excaprefs[0] == NULL)) { 795 static exception_t decodeRISCVFrameInvocation(word_t label, word_t length, argument 801 if (unlikely(length < 3 || extraCaps.excaprefs[0] == NULL)) { 928 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, argument 935 return decodeRISCVPageTableInvocation(label, length, cte, cap, extraCaps, buffer); 938 return decodeRISCVFrameInvocation(label, length, cte, cap, extraCaps, buffer); 959 if (length < 2 || extraCaps.excaprefs[0] == NULL
|
/seL4-test-master/kernel/manual/parts/ |
H A D | bootup.tex | 98 \texttt{seL4\_Word} & \texttt{extraLen} & length of additional bootinfo information in bytes \\ 123 describes what the chunk is and how long it is, where the length includes the header. The 124 length can be used to skip over chunks that you do not understand. The only generally 172 length is at least \texttt{untyped.end - untyped.start}. The actual length is
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1136 word_t length, 1169 if (length < 2 || extraCaps.excaprefs[0] == NULL) { 1301 word_t length, 1334 if (length < 2 || extraCaps.excaprefs[0] == NULL) { 1408 word_t length, 1423 return decodeX64PDPTInvocation(label, length, cte, cap, extraCaps, buffer); 1426 return decodeX64PageDirectoryInvocation(label, length, cte, cap, extraCaps, buffer); 1134 decodeX64PageDirectoryInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument 1299 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 1406 decodeX86ModeMMUInvocation( word_t label, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 173 uint32_t length: 16; 184 uint32_t length: 16; 826 len[j] = dev->rx_ring[(dev->rdh + j) % dev->rx_size].length; 878 .length = len[i], 918 .length = BUF_SIZE,
|
/seL4-test-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 221 unsigned int length = p->tot_len; local 222 status = iface->driver.i_fn.raw_tx(&iface->driver, 1, &buf.phys, &length, orig_buf);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 39 .length = PAGE_SIZE_4K
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 355 ps_io_unmap(&gpt->io_ops.io_mapper, (void *) gpt->gpt_map, (size_t) gpt->timer_pmem.length);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 275 ps_io_unmap(&epit->io_ops.io_mapper, (void *) epit->epit_map, (size_t) epit->timer_pmem.length);
|