/seL4-refos-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-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | base64.h | 25 size_t bits; member in struct:__anon9 [all...] |
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | base64.h | 25 size_t bits; member in struct:__anon1 [all...] |
/seL4-refos-master/libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 21 static inline size_t _round_up(size_t v, size_t bits) argument
|
/seL4-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-master/kernel/include/fastpath/ |
H A D | fastpath.h | 14 word_t guardBits, radixBits, bits; local
|
/seL4-refos-master/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-refos-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-refos-master/kernel/libsel4/include/sel4/ |
H A D | deprecated.h | 124 seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | deprecated.h | 124 seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
|
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 113 static inline void clearMemory(void *ptr, unsigned int bits) argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkmaze.c | 127 int bits; local
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkmaze.c | 127 int bits; local
|
/seL4-refos-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 341 static inline void clearMemory(void *ptr, unsigned int bits) argument
|
/seL4-refos-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-refos-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 164 static void print_bits(word_t bits) argument [all...] |