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

1234567

/seL4-refos-master/libs/libmuslc/src/linux/
H A Diopl.c6 int iopl(int level) argument
8 return syscall(SYS_iopl, level);
/seL4-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/include/
H A Dftw.h26 int level; member in struct:FTW
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dskills.h99 #define practice_needed_to_advance(level) ((level)*(level)*20)
H A Drm.h74 * Avoid using the level types in inequalities:
83 (level.flags.arboreal && (typ) == STONE))
445 uchar nfountains; /* number of fountains on level */
446 uchar nsinks; /* number of sinks on the level */
447 /* Several flags that give hints about what's on the level */
490 extern dlevel_t level; /* structure describing the current level */
495 #define levl level.locations
496 #define fobj level.objlist
497 #define fmon level
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dskills.h99 #define practice_needed_to_advance(level) ((level)*(level)*20)
H A Drm.h74 * Avoid using the level types in inequalities:
83 (level.flags.arboreal && (typ) == STONE))
445 uchar nfountains; /* number of fountains on level */
446 uchar nsinks; /* number of sinks on the level */
447 /* Several flags that give hints about what's on the level */
490 extern dlevel_t level; /* structure describing the current level */
495 #define levl level.locations
496 #define fobj level.objlist
497 #define fmon level
[all...]
/seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/libs/libmuslc/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-refos-master/libs/libsel4platsupport/src/plat/pc99/
H A Ddevice.c27 irq->ioapic.level, irq->ioapic.polarity,
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/
H A Ddevice.c27 irq->ioapic.level, irq->ioapic.polarity,
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dtmu.h24 int level, int rising, void* token);
57 * @param[in] level0 A level for threshold0, -1 if no alarm
58 * @param[in] level1 A level for threshold1, -1 if no alarm
59 * @param[in] level2 A level for threshold2, -1 if no alarm
74 * @param[in] level0 A level for threshold0, -1 if no alarm
75 * @param[in] level1 A level for threshold1, -1 if no alarm
76 * @param[in] level2 A level for threshold2, -1 if no alarm
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dtmu.h24 int level, int rising, void* token);
57 * @param[in] level0 A level for threshold0, -1 if no alarm
58 * @param[in] level1 A level for threshold1, -1 if no alarm
59 * @param[in] level2 A level for threshold2, -1 if no alarm
74 * @param[in] level0 A level for threshold0, -1 if no alarm
75 * @param[in] level1 A level for threshold1, -1 if no alarm
76 * @param[in] level2 A level for threshold2, -1 if no alarm
/seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/64/
H A Dcache.c37 static inline word_t readCacheSize(int level, bool_t instruction) argument
42 /* Select cache level */
43 MSR("csselr_el1", ((level << 1) | instruction));

Completed in 168 milliseconds

1234567