| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | marvell.c | 283 u16 reg, mask; local
[all...] |
| H A D | phy.h | 126 unsigned int mask; member in struct:phy_driver
|
| /seL4-test-master/projects/musllibc/arch/s390x/bits/ |
| H A D | signal.h | 14 unsigned long mask; member in struct:__anon165
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | asf.h | 49 uint8_t mask; member in struct:acpi_asf_dev_array
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 58 static inline void bitwiseAndDr6Reg(word_t mask) argument
76 static inline void bitwiseAndDr7Context(tcb_t *t, word_t mask) argument
83 word_t mask; local
[all...] |
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | phy.h | 129 unsigned int mask; member in struct:phy_driver
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | fault.c | 472 seL4_Word mask = 0; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | vpci.c | 92 uint32_t mask; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | cross_vm_connection.c | 127 uint32_t mask = get_vcpu_fault_data_mask(vcpu); local
|
| /seL4-test-master/projects/musllibc/include/ |
| H A D | resolv.h | 43 uint32_t mask; member in struct:__res_state::__anon262
|
| /seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | io.h | 520 read_masked( volatile uint32_t *addr, uint32_t mask) argument
528 write_masked( volatile uint32_t *addr, uint32_t mask, uint32_t value) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 107 static inline int get_priority(struct i8259_state *s, int mask) argument
144 int mask, cur_priority, priority; local
187 int mask, ret = 1; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 166 unsigned long mask = MASK(num_leftover_bits); local
189 unsigned long mask = MASK(num_leftover_bits); local
854 serve_irq(irq_cookie_t *irq_cookie, ntfn_id_t id, seL4_Word mask, seL4_Word badge, seL4_Word *ret_leftover_bits) argument
[all...] |
| /seL4-test-master/kernel/include/object/ |
| H A D | structures.h | 114 word_t mask; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 729 uint32_t mask = 0x3ff; local
|
| H A D | apicdef.h | 375 mask : 1, member in struct:local_apic_regs::__anon44
387 mask : 1, member in struct:local_apic_regs::__anon45
398 mask : 1, member in struct:local_apic_regs::__anon46
411 mask : 1, member in struct:local_apic_regs::__anon47
424 mask : 1, member in struct:local_apic_regs::__anon48
434 mask : 1, member in struct:local_apic_regs::__anon49
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | enet.c | 486 void enet_enable_events(struct enet *enet, uint32_t mask) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 776 uint32_t mask = fault_get_data_mask(fault); local
798 uint32_t mask = fault_get_data_mask(fault); local
|
| /seL4-test-master/projects/musllibc/ldso/ |
| H A D | dynlink.c | 921 unsigned mask = 1U<<(rp-reserved); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | i2c.c | 356 uint32_t mask; local
|
| /seL4-test-master/projects/musllibc/include/arpa/ |
| H A D | nameser.h | 48 struct _ns_flagdata { int mask, shift; }; member in struct:_ns_flagdata
|