Searched refs:length (Results 101 - 125 of 138) sorted by relevance

123456

/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1625 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 Dltimer.c50 .length = PAGE_SIZE_4K
55 .length = PAGE_SIZE_4K
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dltimer.c60 .length = PAGE_SIZE_4K
65 .length = PAGE_SIZE_4K
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c319 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 Dinterrupt.c69 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 Ddevice.py183 # <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 Dobjecttype.c293 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 Dhpet.c285 region->length = header->header.length;
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_info.h89 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 Dvspace.c1689 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 Dcnode.c42 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 Dschedcontext.c150 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 Di2c.c39 .length = PAGE_SIZE_4K
44 .length = PAGE_SIZE_4K
49 .length = PAGE_SIZE_4K
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c926 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 Dirq_server.c285 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 Dvspace_32paging.c245 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 Dvspace.c629 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 Dvspace.c676 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 Dbootup.tex98 \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 Dvspace.c1136 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 Dintel.c173 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 Dlwip.c221 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 Dltimer.c39 .length = PAGE_SIZE_4K
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c355 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 Depit.c275 ps_io_unmap(&epit->io_ops.io_mapper, (void *) epit->epit_map, (size_t) epit->timer_pmem.length);

Completed in 276 milliseconds

123456