/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | reboot.c | 4 int reboot(int type) argument
|
H A D | klogctl.c | 4 int klogctl (int type, char *buf, int len) argument
|
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | mtx_init.c | 4 int mtx_init(mtx_t *m, int type) argument
|
H A D | pthread_mutexattr_settype.c | 3 int pthread_mutexattr_settype(pthread_mutexattr_t *a, int type) argument
|
H A D | pthread_mutex_trylock.c | 6 int type = m->_m_type & 15; local
|
H A D | pthread_mutex_unlock.c | 8 int type = m->_m_type & 15; local
|
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | caps.c | 22 int type = seL4_DebugCapIdentify(cap); local
|
/seL4-camkes-master/projects/musllibc/src/ipc/ |
H A D | msgrcv.c | 6 ssize_t msgrcv(int q, void *m, size_t len, long type, int flag) argument
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | socket.c | 6 int socket(int domain, int type, int protocol) argument
|
H A D | netname.c | 3 struct netent *getnetbyaddr(uint32_t net, int type) argument
|
H A D | socketpair.c | 6 int socketpair(int domain, int type, int protocol, int fd[2]) argument
|
H A D | res_query.c | 8 int __res_query(const char *name, int class, int type, unsigned char *dest, int len) argument
|
H A D | res_querydomain.c | 4 int res_querydomain(const char *name, const char *domain, int class, int type, unsigned char *dest, int len) argument
|
/seL4-camkes-master/projects/musllibc/src/stdio/ |
H A D | setvbuf.c | 12 int setvbuf(FILE *restrict f, char *restrict buf, int type, size_t size) argument
|
/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
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | kobject_t.h | 32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
H A D | kobject_t.h | 32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
H A D | kobject_t.h | 34 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 54 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
H A D | kobject_t.h | 32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
H A D | kobject_t.h | 33 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word UNUSED objectSize) argument 44 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word UNUSED objectSize) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
H A D | kobject_t.h | 34 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 52 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | hest.h | 20 uint16_t type; member in struct:acpi_hest_entry_hdr
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
|
/seL4-camkes-master/kernel/include/machine/ |
H A D | debug.h | 53 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|