/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_mutexattr_settype.c | 3 int pthread_mutexattr_settype(pthread_mutexattr_t *a, int type) argument 5 if ((unsigned)type > 2) return EINVAL; 6 a->__attr = (a->__attr & ~3) | type;
|
H A D | mtx_init.c | 4 int mtx_init(mtx_t *m, int type) argument 7 ._m_type = ((type&mtx_recursive) ? PTHREAD_MUTEX_RECURSIVE : PTHREAD_MUTEX_NORMAL),
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | reboot.c | 4 int reboot(int type) argument 6 return syscall(SYS_reboot, 0xfee1dead, 672274793, type);
|
H A D | klogctl.c | 4 int klogctl (int type, char *buf, int len) argument 6 return syscall(SYS_syslog, type, buf, len);
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | type.py | 28 def normalise_type(type): 30 return NORMALISATION[type] 32 return type
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | fixint.hpp | 23 namespace type { namespace 51 } // namespace type 56 struct convert<type::fix_int8> { 57 msgpack::object const& operator()(msgpack::object const& o, type::fix_int8& v) const 58 { v = type::detail::convert_integer<int8_t>(o); return o; } 62 struct convert<type::fix_int16> { 63 msgpack::object const& operator()(msgpack::object const& o, type::fix_int16& v) const 64 { v = type::detail::convert_integer<int16_t>(o); return o; } 68 struct convert<type::fix_int32> { 69 msgpack::object const& operator()(msgpack::object const& o, type [all...] |
H A D | nil.hpp | 22 namespace type { namespace 40 } // namespace type 45 struct convert<type::nil_t> { 46 msgpack::object const& operator()(msgpack::object const& o, type::nil_t&) const { 47 if(o.type != msgpack::type::NIL) { throw msgpack::type_error(); } 53 struct pack<type::nil_t> { 55 msgpack::packer<Stream>& operator()(msgpack::packer<Stream>& o, const type::nil_t&) const { 62 struct object<type::nil_t> { 63 void operator()(msgpack::object& o, type [all...] |
/seL4-camkes-master/projects/musllibc/src/signal/riscv/ |
H A D | sigsetjmp.s | 3 .type sigsetjmp,@function 4 .type __sigsetjmp,@function
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | stddef.h | 20 #define offsetof(type, member) __builtin_offsetof(type, member) 22 #define offsetof(type, member) ((size_t)( (char *)&(((type *)0)->member) - (char *)0 ))
|
/seL4-camkes-master/projects/musllibc/src/ldso/riscv/ |
H A D | dlsym.s | 2 .type dlsym,@function
|
/seL4-camkes-master/projects/musllibc/src/thread/riscv/ |
H A D | __unmapself.s | 2 .type __unmapself,@function
|
H A D | clone.s | 6 .type __clone,@function
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | sglib.h | 46 #define SGLIB_ARRAY_SINGLE_HEAP_SORT(type, a, max, comparator) {\ 47 SGLIB_ARRAY_HEAP_SORT(type, a, max, comparator, SGLIB_ARRAY_ELEMENTS_EXCHANGER);\ 50 #define SGLIB_ARRAY_HEAP_SORT(type, a, max, comparator, elem_exchanger) {\ 53 SGLIB___ARRAY_HEAP_DOWN(type, a, _k_, max, comparator, elem_exchanger);\ 56 elem_exchanger(type, a, 0, _k_);\ 57 SGLIB___ARRAY_HEAP_DOWN(type, a, 0, _k_, comparator, elem_exchanger);\ 61 #define SGLIB___ARRAY_HEAP_DOWN(type, a, ind, max, comparator, elem_exchanger) {\ 76 elem_exchanger(type, a, _i_, _m_);\ 84 #define SGLIB_ARRAY_SINGLE_QUICK_SORT(type, a, max, comparator) {\ 85 SGLIB_ARRAY_QUICK_SORT(type, [all...] |
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | socket.c | 6 int socket(int domain, int type, int protocol) argument 8 int s = socketcall(socket, domain, type, protocol, 0, 0, 0); 10 && (type&(SOCK_CLOEXEC|SOCK_NONBLOCK))) { 12 type & ~(SOCK_CLOEXEC|SOCK_NONBLOCK), 15 if (type & SOCK_CLOEXEC) 17 if (type & SOCK_NONBLOCK)
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | heap.h | 9 #define DECLARE_HEAP(type, orderby) \ 10 struct heap_ ## type { \ 13 type *top[MAX_BLOCK_COUNT]; \ 15 typedef struct heap_ ## type heap_ ## type; \ 16 static inline type* heap_get_element(struct heap_ ## type *heap, uint32_t idx) \ 18 uint32_t elements_per_block = MAX_BLOCK_SIZE/sizeof(type); \ 21 static inline int8_t heap_increase_size(struct heap_ ## type *heap) \ 23 type *newTo [all...] |
/seL4-camkes-master/projects/musllibc/src/process/s390x/ |
H A D | vfork.s | 3 .type __vfork,%function 4 .type vfork,%function
|
/seL4-camkes-master/projects/musllibc/src/process/ |
H A D | waitid.c | 5 int waitid(idtype_t type, id_t id, siginfo_t *info, int options) argument 7 return syscall_cp(SYS_waitid, type, id, info, options, 0);
|
/seL4-camkes-master/projects/musllibc/src/signal/aarch64/ |
H A D | restore.s | 2 .type __restore,%function 5 .type __restore_rt,%function
|
/seL4-camkes-master/projects/musllibc/src/signal/i386/ |
H A D | restore.s | 2 .type __restore,@function 9 .type __restore_rt,@function
|
/seL4-camkes-master/projects/musllibc/src/signal/mips/ |
H A D | restore.s | 4 .type __restore_rt,@function 10 .type __restore,@function
|
/seL4-camkes-master/projects/musllibc/src/signal/mips64/ |
H A D | restore.s | 4 .type __restore_rt,@function 5 .type __restore,@function
|
/seL4-camkes-master/projects/musllibc/src/signal/mipsn32/ |
H A D | restore.s | 4 .type __restore_rt,@function 5 .type __restore,@function
|
/seL4-camkes-master/projects/musllibc/src/signal/powerpc/ |
H A D | restore.s | 2 .type __restore,%function 8 .type __restore_rt,%function
|
/seL4-camkes-master/projects/musllibc/src/signal/powerpc64/ |
H A D | restore.s | 2 .type __restore,%function 8 .type __restore_rt,%function
|
/seL4-camkes-master/projects/musllibc/src/signal/s390x/ |
H A D | restore.s | 2 .type __restore,%function 7 .type __restore_rt,%function
|