Searched defs:word (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/tools/riscv-pk/softfloat/
H A Ds_negXM.c47 uint32_t word; local
/seL4-test-master/tools/riscv-pk/util/
H A Dstring.c29 uintptr_t word = byte & 0xFF; local
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h45 seL4_Word word: 26; member in struct:kernel_entry::__anon27::__anon28
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c301 int word = hw_irq >> 4; local
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h130 int word = irq >> 4; local
137 int word = IRQ_REG(irq); local
145 int word = IRQ_REG(irq); local
153 int word = IRQ_REG(irq); local
H A Dgic_v3.h175 int word = irq >> 4; local
192 int word = IRQ_REG(irq); local
205 int word = IRQ_REG(irq); local
218 int word = IRQ_REG(irq); local

Completed in 45 milliseconds