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

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Ds_negXM.c47 uint32_t word; local
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dpppcrypt.c42 unsigned int word; local
/seL4-camkes-master/tools/riscv-pk/util/
H A Dstring.c29 uintptr_t word = byte & 0xFF; local
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h45 seL4_Word word: 26; member in struct:kernel_entry::__anon27::__anon28
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/
H A Dos.h279 static inline unsigned long __ffs(unsigned long word) argument
421 __ffs(unsigned long word) argument
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_64/
H A Dhypercall-x86_64.h201 HYPERVISOR_update_descriptor( unsigned long ma, unsigned long word) argument
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c301 int word = hw_irq >> 4; local
/seL4-camkes-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
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dev_ppp.c441 uint16_t word = (old_crc ^ data) & (uint16_t)0x00FFu; local

Completed in 59 milliseconds