Home
last modified time | relevance | path

Searched defs:level (Results 1 – 10 of 10) sorted by relevance

/seL4-master/include/arch/x86/arch/object/
A Diospace.h32 int level; member
/seL4-master/manual/tools/
A Dparse_doxygen_xml.py285 def generate_api_doc(self, level, member, params, ret, details, errors): argument
370 def generate_api_doc(self, level, member, params, ret, details, errors): argument
395 def level_to_header(self, level): argument
407 def level_to_heading(self, level, name): argument
535 def generate_api_doc(self, level, member, params, ret, details, errors): argument
577 def level_to_header(self, level): argument
580 def level_to_heading(self, level, name): argument
587 def generate_general_syscall_doc(generator, input_file_name, level, ref_dict): argument
/seL4-master/src/arch/x86/object/
A Dinterrupt.c60 static exception_t invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, … in invokeIssueIRQHandlerIOAPIC()
136 word_t level = getSyscallArg(4, buffer); in Arch_decodeIRQControlInvocation() local
A Diospace.c400 uint32_t level; in deleteIOPageTable() local
/seL4-master/src/plat/pc99/machine/
A Dioapic.c106 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, in ioapic_decode_map_pin_to_vector()
146 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, in ioapic_map_pin_to_vector()
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c43 static void riscv_cap_pt_print_slots(pte_t *upperPtSlot, word_t ptIndex, int level) in riscv_cap_pt_print_slots()
196 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level) in riscv_obj_pt_print_slots()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c37 static inline word_t readCacheSize(int level, bool_t instruction) in readCacheSize()
/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c41 static inline word_t readCacheSize(int level, bool_t instruction) in readCacheSize()
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c41 static inline word_t readCacheSize(int level, bool_t instruction) in readCacheSize()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c394 word_t level = CONFIG_PT_LEVELS - 1; in lookupPTSlot() local

Completed in 37 milliseconds