/seL4-test-master/projects/musllibc/src/time/ |
H A D | strptime.c | 11 int i, w, neg, adj, min, range, *dest, dummy; local 37 range = 7; 42 range = 12; 56 range = 31; 65 range = 24; 70 range = 12; 75 range = 366; 80 range = 12; 86 range = 60; 117 range [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 27 const vm_ioport_range_t *elem = &entry->range; 40 const vm_ioport_range_t *a_range = &a_entry->range; 42 const vm_ioport_range_t *b_range = &b_entry->range; 79 /* ensure this range does not overlap */ 81 if (ioport_list->ioports[i].range.end > port.range.start && ioport_list->ioports[i].range.start < port.range.end) { 82 ZF_LOGE("Requested ioport range 0x%x-0x%x for %s overlaps with existing range [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 17 const ioport_range_t *elem = &entry->range; 30 const ioport_range_t *a_range = &a_entry->range; 32 const ioport_range_t *b_range = &b_entry->range; 97 /* ensure this range does not overlap */ 99 if (io_list->ioports[i]->range.end >= port->range.start && io_list->ioports[i]->range.start <= port->range.end) { 100 ZF_LOGE("Requested ioport range 0x%x-0x%x for %s overlaps with existing range [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 31 * @param {uint16_t} start Start address of ioport range 32 * @param {uint16_t} end End address of ioport range 33 * @param {uint16_t} size Size of ioport range 43 * Datastructure used for ioport emulation, containing handlers for the ioport range 58 * Datastructure used to present a registered ioport range 59 * @param {ioport_range_t} range IO address range of ioport entry 60 * @param {ioport_interface_t} interface Emulation interface for ioport range 63 ioport_range_t range; member in struct:ioport_entry 93 * Add an io port range fo [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_con.c | 107 size_t iobase_size_bits = BYTES_TO_SIZE_BITS(io_entry->range.size); 108 con->iobase = io_entry->range.start; 109 vmm_pci_entry_t con_entry = vmm_virtio_console_pci_bar(io_entry->range.start, iobase_size_bits, interrupt_pin,
|
H A D | virtio_net.c | 186 size_t iobase_size_bits = BYTES_TO_SIZE_BITS(io_entry->range.size); 187 net->iobase = io_entry->range.start; 189 vmm_pci_entry_t entry = vmm_virtio_net_pci_bar(io_entry->range.start, iobase_size_bits, interrupt_pin, interrupt_line,
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | testtypes.c | 52 /* copy untyped caps into a processes cspace, return the cap range they can be found in */ 56 seL4_SlotRegion range = {0}; local 61 /* set up the cap range */ 63 range.start = slot; 65 range.end = slot; 67 assert((range.end - range.start) + 1 == num_untypeds); 68 return range; 254 /* set up free slot range */
|
/seL4-test-master/kernel/tools/ |
H A D | reciprocal.py | 27 for p in range(0, 2*nbits + 1):
|
H A D | lex.py | 218 for i in range(len(lre)): 262 for i in range(len(lre)): 560 for i in range(1, len(parts)): 1010 for i in range(len(re_text)):
|
H A D | bitfield_gen.py | 21 from six.moves import range namespace 1836 field_updates = {word: [] for word in range(self.multiple)} 2148 for i in range(1, len(widths) - 1)]): 2459 field_updates = {word: [] for word in range(self.multiple)}
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | ioports.h | 86 vm_ioport_range_t range; member in struct:vm_ioport_entry 98 * Add an io port range for emulation 101 * @param {vm_ioport_interface_t} ioport_interface Interface for ioport range, containing io_in and io_out handler functions
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | platform_sift.py | 149 for r in range(n): 160 for r in range(n):
|
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 486 for i in range(num_words): 494 words = [[] for _ in range(num_mrs, MAX_MESSAGE_LENGTH)] 523 for x in range(num_bits // wordsize): 663 for i in range(num_mrs): 675 for i in range(len(cap_expressions)): 689 for i in range(num_mrs): 695 for i in range(num_mrs, len(input_expressions)): 709 ("&mr%d" % i) for i in range(num_mrs))) 722 for i in range(num_mrs): 740 for i in range(MAX_MESSAGE_LENGT [all...] |
H A D | bitfield_gen.py | 21 from six.moves import range namespace 1836 field_updates = {word: [] for word in range(self.multiple)} 2148 for i in range(1, len(widths) - 1)]): 2459 field_updates = {word: [] for word in range(self.multiple)}
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 486 for i in range(num_words): 494 words = [[] for _ in range(num_mrs, MAX_MESSAGE_LENGTH)] 523 for x in range(num_bits // wordsize): 663 for i in range(num_mrs): 675 for i in range(len(cap_expressions)): 689 for i in range(num_mrs): 695 for i in range(num_mrs, len(input_expressions)): 709 ("&mr%d" % i) for i in range(num_mrs))) 722 for i in range(num_mrs): 740 for i in range(MAX_MESSAGE_LENGT [all...] |
H A D | bitfield_gen.py | 21 from six.moves import range namespace 1836 field_updates = {word: [] for word in range(self.multiple)} 2148 for i in range(1, len(widths) - 1)]): 2459 field_updates = {word: [] for word in range(self.multiple)}
|
/seL4-test-master/kernel/manual/parts/ |
H A D | vspace.tex | 58 On IA-32, the VSpace is realised as a \texttt{PageDirectory}, which covers the entire 4\,GiB range 60 (\texttt{PageTable} objects) each cover a 4\,MiB range. 88 4\,GiB address range, and a second-level \texttt{PageTable}. The second-level structures on AArch32 92 The top-level page directory covers a range of 4\,GiB and each page table covers a 1\,MiB range. 179 Each architecture also defines a range of page sizes. In the next section we show the available page
|
H A D | notifications.tex | 63 specific badge (or range of badges) for capabilities to the bound
|
H A D | cspace.tex | 396 and addressing a range of capability slots. 407 provide a range of capability slots. This is done by providing a base 408 capability address, which refers to the first slot in the range, 410 (with consecutive addresses, following the base slot) in the range. 446 \item[Caps C--G.] This range of capability slots is addressed by 467 user must also supply a depth limit. To specify a range of capability
|
H A D | io.tex | 77 \obj{IO Port} capability identifies a range of ports that can be accessed with 90 In each case, \texttt{port} must be within the range of I/O ports identified 95 attempted outside the range allowed by the \obj{IO Port} capability. 103 \obj{IO Port} capabilities to sub ranges of I/O ports. Any range that is issued
|
H A D | api.tex | 156 An argument is out of the allowed range.
|
/seL4-test-master/kernel/tools/hardware/ |
H A D | irq.py | 21 for _ in range(self.get_interrupt_cells()):
|
H A D | device.py | 213 for i in range(cells):
|
/seL4-test-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 414 for num, item in zip(range(sys.maxsize), para.contents):
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
H A D | i8259.c | 683 vm_ioport_range_t pic_range = pic_ioports[i].range;
|