Searched refs:type (Results 276 - 300 of 933) sorted by relevance

<<11121314151617181920>>

/seL4-refos-master/libs/libmuslc/src/network/
H A Dres_query.c8 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 Dres_querydomain.c4 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 Dsigsetjmp.s3 .type sigsetjmp,%function
4 .type __sigsetjmp,%function
/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dkobject_t.h47 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 Dvka.h60 * @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 Dkobject_t.h47 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 Dvka.h60 * @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 Dfenv.s2 .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 Dfenv.s2 .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 Dfenv-hf.S7 .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 Dfenv-hf.S7 .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 Dnftw.c28 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 Dnull-vka.c34 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 Dnull-vka.c34 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 Dsyscall_cp.s4 .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 Dsyscall_cp.s4 .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 Dvka.c84 * @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 Dvka.c84 * @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 Dip_icmp.h13 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 Dacos.s4 .type acosf,@function
10 .type acosl,@function
16 .type acos,@function
H A Dscalbn.s2 .type ldexp,@function
7 .type scalbln,@function
12 .type scalbn,@function
H A Dscalbnf.s2 .type ldexpf,@function
7 .type scalblnf,@function
12 .type scalbnf,@function
H A Dscalbnl.s2 .type ldexpl,@function
7 .type scalblnl,@function
12 .type scalbnl,@function
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/
H A Dacos.s4 .type acosf,@function
10 .type acosl,@function
16 .type acos,@function
H A Dscalbn.s2 .type ldexp,@function
7 .type scalbln,@function
12 .type scalbn,@function

Completed in 107 milliseconds

<<11121314151617181920>>