Searched refs:level (Results 1 - 25 of 87) sorted by relevance

1234

/seL4-camkes-master/projects/musllibc/src/linux/
H A Diopl.c6 int iopl(int level) argument
8 return syscall(SYS_iopl, level);
/seL4-camkes-master/projects/musllibc/src/network/
H A Dgetsockopt.c4 int getsockopt(int fd, int level, int optname, void *restrict optval, socklen_t *restrict optlen) argument
6 return socketcall(getsockopt, fd, level, optname, optval, optlen, 0);
H A Dsetsockopt.c4 int setsockopt(int fd, int level, int optname, const void *optval, socklen_t optlen) argument
6 return socketcall(setsockopt, fd, level, optname, optval, optlen, 0);
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/
H A Ddefault.c27 seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity,
30 return seL4_IRQControl_GetIOAPIC(seL4_CapIRQControl, root, index, depth, ioapic, pin, level,
45 * + IRQs 16 and above are PCI and level detected polarity low
51 int level; local
54 level = 1;
57 level = 0;
60 return simple_default_get_ioapic(data, root, index, depth, 0, irq, level, low_polarity, vector);
26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h41 vspace_mid_level_t *level = create_level(vspace, sizeof(vspace_mid_level_t)); local
42 if (level) {
44 level->table[i] = init;
47 return level;
52 vspace_bottom_level_t *level = create_level(vspace, sizeof(vspace_bottom_level_t)); local
53 if (level) {
55 level->cap[i] = init;
56 level->cookie[i] = 0;
59 return level;
67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_ argument
87 reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool preserve_frames) argument
144 clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, bool only_reserved) argument
160 clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool only_reserved) argument
194 update_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
252 is_reserved_or_empty_bottom(vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
379 vspace_mid_level_t *level = top; local
398 vspace_mid_level_t *level = top; local
[all...]
/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/
H A Dioapic.h18 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
21 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/libGPIOMUXServer-client/
H A Dgpio.c20 int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level);
42 static int gpiomuxserver_set_level_wrapper(gpio_t *gpio, enum gpio_level level) argument
46 return gpiomuxserver_data->gpiomuxserver_set_level(gpio->id, level);
57 int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level),
56 gpiomuxserver_gpio_interface_init(int (*gpiomuxserver_init_pin)(gpio_id_t pin_id, gpio_dir_t dir), int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level), int (*gpiomuxserver_read_level)(gpio_id_t pin_id), gpio_sys_t *gpio_sys) argument
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DPageCollection.py112 level = vspace
114 while level.child is not None and page['size'] < level.child.coverage:
115 level = level.child
116 object_vaddr = level.base_vaddr(page_vaddr)
117 object_index = level.parent_index(object_vaddr)
118 if (level, object_vaddr) not in objects:
119 object = level.make_object('%s_%s_%04d' % (
120 level
[all...]
H A Dutil.py37 Abstraction of a 'level' in a virtual address space hierarchy. A level
40 the level and what kinds of frames (if any) can be placed directly
41 at this level.
55 Base address of the range covered by this level, determined
62 Index of this object in the parent level. Determine by a
93 level = self.vspace()
95 while level is not None:
96 pages.extend(level.pages)
97 level
[all...]
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/libGPIOMUXServer-client/include/
H A Dgpiomuxserver.h23 int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level),
/seL4-camkes-master/projects/global-components/components/SerialServer/src/plat/pc99/
H A Dplat.c25 ps_irq_t irq_info = { .type = PS_IOAPIC, .ioapic = { .ioapic = 0, .pin = 4, .level = 0, .polarity = 0, .vector = 4 }};
/seL4-camkes-master/projects/musllibc/include/
H A Dftw.h26 int level; member in struct:FTW
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c16 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level);
36 static void riscv_cap_pt_print_slots(pte_t *upperPtSlot, word_t ptIndex, int level) argument
39 if (level == CONFIG_PT_LEVELS) {
46 level -= 1;
48 word_t ptBitsLeft = PT_INDEX_BITS * level + seL4_PageBits;
55 if (level) { /* pt */
69 if (level) { /* pt */
70 riscv_cap_pt_print_slots(ptSlot, ptSlotIndex, level);
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level) argument
196 word_t ptBitsLeft = PT_INDEX_BITS * level
[all...]
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdtget.c178 int level = 0; /* keep track of nesting level */ local
182 while (level >= 0) {
187 if (level <= depth) {
192 if (level == 1)
195 level++;
196 if (level >= MAX_LEVEL) {
202 level--;
203 if (level == 0)
204 level
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dzbuffer.h40 msgpack_zbuffer* zbuf, int level, size_t init_size);
43 static inline msgpack_zbuffer* msgpack_zbuffer_new(int level, size_t init_size);
66 int level, size_t init_size)
70 if(deflateInit(&zbuf->stream, level) != Z_OK) {
83 static inline msgpack_zbuffer* msgpack_zbuffer_new(int level, size_t init_size) argument
87 if(!msgpack_zbuffer_init(zbuf, level, init_size)) {
65 msgpack_zbuffer_init(msgpack_zbuffer* zbuf, int level, size_t init_size) argument
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dioapic.c106 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
129 if (level != 0 && level != 1) {
130 userError("Level should be 0 or 1, not %d", (int)level);
146 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
160 (level << IOREDTBL_LOW_TRIGGER_MODE_SHIFT) |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/
H A Dspeed_test_nested_array.cpp20 template <typename T, std::size_t level>
22 typedef std::vector<typename vecvec<T, level - 1>::type> type;
25 typename vecvec<T, level - 1>::type child;
26 vecvec<T, level - 1>::fill(child, num_of_elems, val);
/seL4-camkes-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py239 def generate_api_doc(self, level, member, params, ret, details):
309 def generate_api_doc(self, level, member, params, ret, details):
313 [{%(level)s}]
322 "level": self.level_to_header(level),
332 def level_to_header(self, level):
333 if level == 0:
335 elif level == 1:
337 elif level == 2:
339 elif level
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dvspace.tex13 each architecture defines its own objects for the top-level VSpace and further intermediate paging structures.
28 Each architecture has a top-level paging structure (level 0) and a number of intermediate levels.
29 The top-level paging structure corresponds directly to the higher-level concept of a VSpace in seL4.
33 In general, each paging structure at each level contains slots where the next level paging structure,
34 or a specifically sized frame of memory, can be mapped. If the previous level is not mapped,
36 The size and type of structure at each level, and the number of bits in the virtual address resolved
37 for that level, i
[all...]
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dx86_subr.c85 x86_cpuid(uint32_t level, uint32_t *eax_out, uint32_t *ebx_out, argument
93 : "0" (level)
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/
H A D82574.c23 .level = 1, .polarity = 1,
38 .level = 1, .polarity = 1,
H A D82580.c23 .level = 1, .polarity = 1,
38 .level = 1, .polarity = 1,
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c87 ret.level = levels_remaining;
98 ret.level = levels_remaining;
113 ret.level = 0;
264 lu_ret.level = x86KSnumIOPTLevels - lu_ret.level;
278 cap = cap_io_page_table_cap_set_capIOPTLevel(cap, lu_ret.level);
367 if (lu_ret.status != EXCEPTION_NONE || lu_ret.level != 0) {
402 uint32_t level; local
409 level = cap_io_page_table_cap_get_capIOPTLevel(io_pt_cap);
418 if (level
[all...]
/seL4-camkes-master/projects/musllibc/src/misc/
H A Dnftw.c16 int level; member in struct:history
55 new.level = h ? h->level+1 : 0;
58 lev.level = new.level;
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/
H A Dgpio.c125 int the_gpio_set_level(gpio_id_t pin_id, gpio_level_t level) argument
141 if (level == GPIO_LEVEL_HIGH) {
143 } else if (level == GPIO_LEVEL_LOW) {
146 /* level < 0 is not valid */

Completed in 171 milliseconds

1234