Searched defs:level (Results 1 - 8 of 8) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
| H A D | iospace.h | 37 int level; member in struct:lookupIOPTSlot_ret
|
| /seL4-mcs-10.1.1/src/arch/arm/armv/armv7-a/ |
| H A D | cache.c | 50 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/armv/armv8-a/32/ |
| H A D | cache.c | 50 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 48 static inline word_t readCacheSize(int level, bool_t instruction) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | interrupt.c | 68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, argument
144 word_t level = getSyscallArg(4, buffer); local
|
| H A D | iospace.c | 415 uint32_t level; local
[all...] |
| /seL4-mcs-10.1.1/src/plat/pc99/machine/ |
| H A D | ioapic.c | 109 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
149 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | capdl.c | 171 static void sendIOPT(unsigned long address, unsigned int level) argument
323 unsigned long address, level; local
|
Completed in 96 milliseconds