Searched refs:range (Results 1 - 25 of 27) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/time/
H A Dstrptime.c11 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 Dioports.c27 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 Dioports.c17 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 Dioports.h31 * @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 Dvirtio_con.c107 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 Dvirtio_net.c186 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 Dtesttypes.c52 /* 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 Dreciprocal.py27 for p in range(0, 2*nbits + 1):
H A Dlex.py218 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 Dbitfield_gen.py21 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 Dioports.h86 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 Dplatform_sift.py149 for r in range(n):
160 for r in range(n):
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py486 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 Dbitfield_gen.py21 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 Dsyscall_stub_gen.py486 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 Dbitfield_gen.py21 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 Dvspace.tex58 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 Dnotifications.tex63 specific badge (or range of badges) for capabilities to the bound
H A Dcspace.tex396 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 Dio.tex77 \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 Dapi.tex156 An argument is out of the allowed range.
/seL4-test-master/kernel/tools/hardware/
H A Dirq.py21 for _ in range(self.get_interrupt_cells()):
H A Ddevice.py213 for i in range(cells):
/seL4-test-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py414 for num, item in zip(range(sys.maxsize), para.contents):
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c683 vm_ioport_range_t pic_range = pic_ioports[i].range;

Completed in 119 milliseconds

12