Searched refs:bits (Results 1 - 25 of 139) sorted by relevance

123456

/seL4-refos-master/libs/libmuslc/include/sys/
H A Dsyscall.h4 #include <bits/syscall.h>
H A Dioctl.h7 #include <bits/ioctl.h>
H A Dauxv.h9 #include <bits/hwcap.h>
H A Dreg.h7 #include <bits/reg.h>
H A Dfsuid.h11 #include <bits/alltypes.h>
H A Dio.h9 #include <bits/io.h>
H A Duser.h11 #include <bits/user.h>
H A Dtimeb.h9 #include <bits/alltypes.h>
H A Dtimes.h9 #include <bits/alltypes.h>
H A Dipc.h14 #include <bits/alltypes.h>
24 #include <bits/ipc.h>
H A Dmsg.h16 #include <bits/alltypes.h>
21 #include <bits/msg.h>
H A Dshm.h14 #include <bits/alltypes.h>
24 #include <bits/shm.h>
/seL4-refos-master/kernel/tools/hardware/utils/
H A D__init__.py8 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 Dsys_thread.c14 #include <bits/errno.h>
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_thread.c14 #include <bits/errno.h>
/seL4-refos-master/libs/libmuslc/include/
H A Dalloca.h9 #include <bits/alltypes.h>
H A Dutime.h10 #include <bits/alltypes.h>
H A Derrno.h10 #include <bits/errno.h>
H A Dpoll.h10 #include <bits/poll.h>
43 #include <bits/alltypes.h>
H A Dtermios.h12 #include <bits/alltypes.h>
20 #include <bits/termios.h>
/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Dbase64.h25 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 Dbase64.h25 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 Dvspace.h29 #error Unspecified PA size bits
/seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/
H A Dvspace.h29 #error Unspecified PA size bits
/seL4-refos-master/kernel/include/arch/arm/arch/
H A Dmachine.h50 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