| /seL4-camkes-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 50 static inline void clearMemory(word_t *ptr, word_t bits) argument
57 static inline void clearMemoryRAM(word_t *ptr, word_t bits) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | guest_memory_arch.c | 21 int bits; local
|
| /seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
| H A D | base64.h | 25 size_t bits; member in struct:__anon1
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 21 static inline size_t _round_up(size_t v, size_t bits) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/ |
| H A D | generic_timer.h | 74 static inline void generic_timer_or_ctrl(uintptr_t bits) argument
80 static inline void generic_timer_and_ctrl(uintptr_t bits) argument
|
| /seL4-camkes-master/projects/musllibc/src/internal/ |
| H A D | floatscan.c | 66 static long double decfloat(FILE *f, int c, int bits, int emin, int sign, int pok) argument
317 hexfloat(FILE *f, int bits, int emin, int sign, int pok) argument
433 int bits; local
[all...] |
| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | boot.h | 132 static inline BOOT_CODE word_t get_n_paging(v_region_t v_reg, word_t bits) argument
|
| /seL4-camkes-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 14 word_t guardBits, radixBits, bits; local
|
| /seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
| H A D | mppe.h | 162 u8_t bits; /* MPPE control bits */ member in struct:ppp_mppe_state
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 80 static seL4_Word platsupport_alloc_device_vaddr(seL4_Word bits) argument
95 int bits = CTZ(size); local
133 int bits = CTZ(size); local
[all...] |
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | deprecated.h | 124 seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 113 static inline void clearMemory(void *ptr, unsigned int bits) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | vclock.c | 23 int bits; member in struct:clock_reg
|
| H A D | vgpio.c | 72 static uint32_t _create_mask(uint8_t ac, int bits) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/ |
| H A D | machine.h | 341 static inline void clearMemory(void *ptr, unsigned int bits) argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | enet.c | 497 uint32_t enet_clr_events(struct enet *enet, uint32_t bits) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 164 static void print_bits(word_t bits) argument
[all...] |