Searched defs:bit (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/manual/parts/
H A Dvspace.tex
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dbase64.h45 static inline uint8_t base64_lookup(uint8_t bit) argument
/seL4-test-master/tools/riscv-pk/softfloat/
H A Df128M_roundToInt.c79 uint32_t wordA, bit, wordZ; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Di2c_bitbang.c113 i2c_bb_sendbit(struct i2c_bb* d, int bit) argument
132 int bit; local
/seL4-test-master/kernel/include/drivers/irq/
H A Driscv_plic0.h101 word_t bit = interrupt % 32; local
136 uint32_t bit = 0; local
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c302 int bit = ((hw_irq & 0xf) * 2); local
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h131 int bit = ((irq & 0xf) * 2); local
138 int bit = IRQ_BIT(irq); local
146 int bit = IRQ_BIT(irq); local
154 int bit = IRQ_BIT(irq); local
H A Dgic_v3.h176 int bit = ((irq & 0xf) * 2); local
193 int bit = IRQ_BIT(irq); local
206 int bit = IRQ_BIT(irq); local
219 int bit = IRQ_BIT(irq); local
[all...]
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c974 static inline void clear_bit(word_t *bitmap, word_t bit) argument
[all...]

Completed in 245 milliseconds