/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | iopl.c | 6 int iopl(int level) argument 8 return syscall(SYS_iopl, level);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | getsockopt.c | 4 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 D | setsockopt.c | 4 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 D | default.c | 27 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 D | default.c | 27 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 D | vspace_internal.h | 41 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 D | vspace_internal.h | 41 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 D | ioapic.h | 18 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 D | ftw.h | 26 int level; member in struct:FTW
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | skills.h | 99 #define practice_needed_to_advance(level) ((level)*(level)*20)
|
H A D | rm.h | 74 * 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 D | skills.h | 99 #define practice_needed_to_advance(level) ((level)*(level)*20)
|
H A D | rm.h | 74 * 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 D | capdl.c | 16 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 D | fdtget.c | 178 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 D | ioapic.c | 106 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 D | parse_doxygen_xml.py | 239 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 D | vspace.tex | 13 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 D | iospace.c | 87 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 D | nftw.c | 16 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 D | device.c | 27 irq->ioapic.level, irq->ioapic.polarity,
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/ |
H A D | device.c | 27 irq->ioapic.level, irq->ioapic.polarity,
|
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 24 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 D | tmu.h | 24 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 D | cache.c | 37 static inline word_t readCacheSize(int level, bool_t instruction) argument 42 /* Select cache level */ 43 MSR("csselr_el1", ((level << 1) | instruction));
|