/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_query.c | 8 int __res_query(const char *name, int class, int type, unsigned char *dest, int len) argument 11 int ql = __res_mkquery(0, name, class, type, 0, 0, 0, q, sizeof q);
|
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 13 return res_query(tmp, class, type, dest, len);
|
/seL4-refos-master/libs/libmuslc/src/signal/powerpc/ |
H A D | sigsetjmp.s | 3 .type sigsetjmp,%function 4 .type __sigsetjmp,%function
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | kobject_t.h | 47 static inline seL4_Word kobject_get_size(kobject_t type, seL4_Word objectSize) argument 49 switch (type) { 78 return arch_kobject_get_size(type, objectSize); 82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize) argument 84 switch (type) { 109 return arch_kobject_get_type(type, objectSize);
|
H A D | vka.h | 60 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 65 typedef int (*vka_utspace_alloc_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, 73 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 79 typedef int (*vka_utspace_alloc_at_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, 87 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 93 typedef int (*vka_utspace_alloc_maybe_device_fn)(void *data, const cspacepath_t *dest, seL4_Word type, 101 * @param type th 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 259 vka_utspace_alloc_at(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument 278 vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 296 vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | kobject_t.h | 47 static inline seL4_Word kobject_get_size(kobject_t type, seL4_Word objectSize) argument 49 switch (type) { 78 return arch_kobject_get_size(type, objectSize); 82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize) argument 84 switch (type) { 109 return arch_kobject_get_type(type, objectSize);
|
H A D | vka.h | 60 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 65 typedef int (*vka_utspace_alloc_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, 73 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 79 typedef int (*vka_utspace_alloc_at_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, 87 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 93 typedef int (*vka_utspace_alloc_maybe_device_fn)(void *data, const cspacepath_t *dest, seL4_Word type, 101 * @param type th 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 259 vka_utspace_alloc_at(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument 278 vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 296 vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64/ |
H A D | fenv.s | 2 .type fegetround,%function 9 .type __fesetround,%function 19 .type fetestexcept,%function 27 .type feclearexcept,%function 37 .type feraiseexcept,%function 47 .type fegetenv,%function 57 .type fesetenv,%function
|
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64_sel4/ |
H A D | fenv.s | 2 .type fegetround,%function 9 .type __fesetround,%function 19 .type fetestexcept,%function 27 .type feclearexcept,%function 37 .type feraiseexcept,%function 47 .type fegetenv,%function 57 .type fesetenv,%function
|
/seL4-refos-master/libs/libmuslc/src/fenv/arm/ |
H A D | fenv-hf.S | 7 .type fegetround,%function 14 .type __fesetround,%function 24 .type fetestexcept,%function 32 .type feclearexcept,%function 42 .type feraiseexcept,%function 52 .type fegetenv,%function 60 .type fesetenv,%function
|
/seL4-refos-master/libs/libmuslc/src/fenv/arm_sel4/ |
H A D | fenv-hf.S | 7 .type fegetround,%function 14 .type __fesetround,%function 24 .type fetestexcept,%function 32 .type feclearexcept,%function 42 .type feraiseexcept,%function 52 .type fegetenv,%function 60 .type fesetenv,%function
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | nftw.c | 28 int type; local 35 type = FTW_SLN; 37 else type = FTW_NS; 39 if (access(path, R_OK) < 0) type = FTW_DNR; 40 else if (flags & FTW_DEPTH) type = FTW_DP; 41 else type = FTW_D; 43 if (flags & FTW_PHYS) type = FTW_SL; 44 else type = FTW_SLN; 46 type = FTW_F; 61 if (!(flags & FTW_DEPTH) && (r=fn(path, &st, type, [all...] |
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument 46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument 52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument 46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument 52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
/seL4-refos-master/libs/libmuslc/src/thread/mips64/ |
H A D | syscall_cp.s | 4 .type __cp_begin,@function 7 .type __cp_end,@function 10 .type __cp_cancel,@function 13 .type __cp_cancel_data,@function 17 .type __syscall_cp_asm,@function
|
/seL4-refos-master/libs/libmuslc/src/thread/mipsn32/ |
H A D | syscall_cp.s | 4 .type __cp_begin,@function 7 .type __cp_end,@function 10 .type __cp_cancel,@function 13 .type __cp_cancel_data,@function 17 .type __syscall_cp_asm,@function
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 84 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 91 seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) 101 size_bits = vka_get_object_size(type, size_bits); 103 *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error); 113 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 120 return am_vka_utspace_alloc_maybe_device(data, dest, type, size_bits, false, res); 128 * @param type th 90 am_vka_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument 160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 84 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 91 seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) 101 size_bits = vka_get_object_size(type, size_bits); 103 *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error); 113 * @param type the seL4 object type to allocate (as passed to Untyped_Retype) 118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 120 return am_vka_utspace_alloc_maybe_device(data, dest, type, size_bits, false, res); 128 * @param type th 90 am_vka_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument 160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/libs/libmuslc/include/netinet/ |
H A D | ip_icmp.h | 13 uint8_t type; member in struct:icmphdr 182 #define ICMP_INFOTYPE(type) \ 183 ((type) == ICMP_ECHOREPLY || (type) == ICMP_ECHO || \ 184 (type) == ICMP_ROUTERADVERT || (type) == ICMP_ROUTERSOLICIT || \ 185 (type) == ICMP_TSTAMP || (type) == ICMP_TSTAMPREPLY || \ 186 (type) == ICMP_IREQ || (type) [all...] |
/seL4-refos-master/libs/libmuslc/src/math/i386/ |
H A D | acos.s | 4 .type acosf,@function 10 .type acosl,@function 16 .type acos,@function
|
H A D | scalbn.s | 2 .type ldexp,@function 7 .type scalbln,@function 12 .type scalbn,@function
|
H A D | scalbnf.s | 2 .type ldexpf,@function 7 .type scalblnf,@function 12 .type scalbnf,@function
|
H A D | scalbnl.s | 2 .type ldexpl,@function 7 .type scalblnl,@function 12 .type scalbnl,@function
|
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/ |
H A D | acos.s | 4 .type acosf,@function 10 .type acosl,@function 16 .type acos,@function
|
H A D | scalbn.s | 2 .type ldexp,@function 7 .type scalbln,@function 12 .type scalbn,@function
|