Searched refs:bits (Results 1 - 25 of 139) sorted by relevance
123456
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | syscall.h | 4 #include <bits/syscall.h>
|
H A D | ioctl.h | 7 #include <bits/ioctl.h>
|
H A D | auxv.h | 9 #include <bits/hwcap.h>
|
H A D | reg.h | 7 #include <bits/reg.h>
|
H A D | fsuid.h | 11 #include <bits/alltypes.h>
|
H A D | io.h | 9 #include <bits/io.h>
|
H A D | user.h | 11 #include <bits/user.h>
|
H A D | timeb.h | 9 #include <bits/alltypes.h>
|
H A D | times.h | 9 #include <bits/alltypes.h>
|
H A D | ipc.h | 14 #include <bits/alltypes.h> 24 #include <bits/ipc.h>
|
H A D | msg.h | 16 #include <bits/alltypes.h> 21 #include <bits/msg.h>
|
H A D | shm.h | 14 #include <bits/alltypes.h> 24 #include <bits/shm.h>
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | __init__.py | 8 def align_up(num, bits): 10 boundary = 1 << bits 14 def align_down(num, bits): 16 boundary = 1 << bits
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_thread.c | 14 #include <bits/errno.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_thread.c | 14 #include <bits/errno.h>
|
/seL4-refos-master/libs/libmuslc/include/ |
H A D | alloca.h | 9 #include <bits/alltypes.h>
|
H A D | utime.h | 10 #include <bits/alltypes.h>
|
H A D | errno.h | 10 #include <bits/errno.h>
|
H A D | poll.h | 10 #include <bits/poll.h> 43 #include <bits/alltypes.h>
|
H A D | termios.h | 12 #include <bits/alltypes.h> 20 #include <bits/termios.h>
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | base64.h | 25 size_t bits; member in struct:__anon9 40 .bits = 0, 56 streamer->bits += 8; 58 /* Write any bits to the output */ 59 while (streamer->bits >= 6) { 60 streamer->bits -= 6; 61 uint8_t part = streamer->buffer >> streamer->bits; 71 if (streamer->bits > 0) { 72 size_t padding = 6 - streamer->bits; 82 streamer->bits [all...] |
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | base64.h | 25 size_t bits; member in struct:__anon1 40 .bits = 0, 56 streamer->bits += 8; 58 /* Write any bits to the output */ 59 while (streamer->bits >= 6) { 60 streamer->bits -= 6; 61 uint8_t part = streamer->buffer >> streamer->bits; 71 if (streamer->bits > 0) { 72 size_t padding = 6 - streamer->bits; 82 streamer->bits [all...] |
/seL4-refos-master/libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
H A D | vspace.h | 29 #error Unspecified PA size bits
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
H A D | vspace.h | 29 #error Unspecified PA size bits
|
/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 52 memzero(ptr, BIT(bits)); 53 cleanCacheRange_PoU((word_t)ptr, (word_t)ptr + BIT(bits) - 1, 57 static inline void clearMemoryRAM(word_t *ptr, word_t bits) argument 59 memzero(ptr, BIT(bits)); 60 cleanCacheRange_RAM((word_t)ptr, (word_t)ptr + BIT(bits) - 1,
|
Completed in 243 milliseconds
123456