Searched refs:type (Results 76 - 100 of 933) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 return arm_mode_kobject_get_size(type, objectSize);
49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
51 switch (type) {
64 return arm_mode_kobject_get_type(type, objectSize);
67 return arm_mode_kobject_get_type(type, objectSize);
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
35 switch (type) {
47 return x86_mode_kobject_get_size(type, objectSize);
51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument
53 switch (type) {
65 return x86_mode_kobject_get_type(type, objectSize);
70 return x86_mode_kobject_get_type(type, objectSize);
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 return arm_mode_kobject_get_size(type, objectSize);
49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
51 switch (type) {
64 return arm_mode_kobject_get_type(type, objectSize);
67 return arm_mode_kobject_get_type(type, objectSize);
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
35 switch (type) {
47 return x86_mode_kobject_get_size(type, objectSize);
51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument
53 switch (type) {
65 return x86_mode_kobject_get_type(type, objectSize);
70 return x86_mode_kobject_get_type(type, objectSize);
/seL4-refos-master/projects/refos/impl/cidl_templates/
H A Dserver.py17 {{for type, itype, name, mode, dr, apfx, aref, apsfx in alist}}
21 {{py:type = type.replace('*', '') + '*'}}
26 {{elif (itype != 'buf' and type != 'str') or mode == 'array'}}
27 {{type}} rpc_{{name}} = ({{type}})
29 {{type}} rpc_{{name}} = rpc_malloc(sizeof({{type.replace('*', '')}}));\n
39 , sizeof({{type.replace('*', '')}})
44 {{for type, ityp
[all...]
H A Dclient_header.py19 {{for type, itype, name, mode, dr, apfx, aref, apsfx in calist}}
25 {{type}} {{name}}
/seL4-refos-master/cidl_templates/
H A Dserver.py17 {{for type, itype, name, mode, dr, apfx, aref, apsfx in alist}}
21 {{py:type = type.replace('*', '') + '*'}}
26 {{elif (itype != 'buf' and type != 'str') or mode == 'array'}}
27 {{type}} rpc_{{name}} = ({{type}})
29 {{type}} rpc_{{name}} = rpc_malloc(sizeof({{type.replace('*', '')}}));\n
39 , sizeof({{type.replace('*', '')}})
44 {{for type, ityp
[all...]
H A Dclient_header.py19 {{for type, itype, name, mode, dr, apfx, aref, apsfx in calist}}
25 {{type}} {{name}}
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h133 word_t type; local
135 .type = seL4_NoError
146 ret.type = seL4_IllegalOperation;
150 type = seL4_InstructionBreakpoint;
153 type = getTypeFromBpNum(bp_num);
157 if (type != seL4_InstructionBreakpoint || bp_num >= seL4_FirstWatchpoint) {
161 ret.type = seL4_InvalidArgument;
170 ret.type = seL4_InvalidArgument;
182 uint16_t bp_num, word_t vaddr, word_t type,
186 .type
181 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
251 word_t type; local
[all...]
/seL4-refos-master/libs/libmuslc/src/network/
H A Dsocketpair.c6 int socketpair(int domain, int type, int protocol, int fd[2]) argument
8 int r = socketcall(socketpair, domain, type, protocol, fd, 0, 0);
10 && (type&(SOCK_CLOEXEC|SOCK_NONBLOCK))) {
12 type & ~(SOCK_CLOEXEC|SOCK_NONBLOCK),
15 if (type & SOCK_CLOEXEC) {
19 if (type & SOCK_NONBLOCK) {
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dkobject_t.h32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 /* Unknown object type. */
46 ZF_LOGE("Unknown object type");
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
53 switch (type) {
64 /* Unknown object type. */
65 ZF_LOGE("Unknown object type");
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dkobject_t.h32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 /* Unknown object type. */
46 ZF_LOGE("Unknown object type");
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
53 switch (type) {
64 /* Unknown object type. */
65 ZF_LOGE("Unknown object type");
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dkobject_t.h32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 /* Unknown object type. */
46 ZF_LOGE("Unknown object type");
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
53 switch (type) {
64 /* Unknown object type. */
65 ZF_LOGE("Unknown object type");
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dkobject_t.h32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
34 switch (type) {
45 /* Unknown object type. */
46 ZF_LOGE("Unknown object type");
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
53 switch (type) {
64 /* Unknown object type. */
65 ZF_LOGE("Unknown object type");
/seL4-refos-master/libs/libmuslc/src/ldso/aarch64/
H A Ddlsym.s3 .type dlsym,%function
/seL4-refos-master/libs/libmuslc/src/ldso/microblaze/
H A Ddlsym.s3 .type dlsym,@function
/seL4-refos-master/libs/libmuslc/src/ldso/x32/
H A Ddlsym.s4 .type dlsym,@function
/seL4-refos-master/libs/libmuslc/src/ldso/x86_64/
H A Ddlsym.s4 .type dlsym,@function
/seL4-refos-master/libs/libmuslc/src/math/aarch64/
H A Dfabs.s3 .type fabs,%function
H A Dfabsf.s3 .type fabsf,%function
H A Dsqrt.s3 .type sqrt,%function
H A Dsqrtf.s3 .type sqrtf,%function
/seL4-refos-master/libs/libmuslc/src/math/aarch64_sel4/
H A Dfabs.s3 .type fabs,%function
H A Dfabsf.s3 .type fabsf,%function
H A Dsqrt.s3 .type sqrt,%function

Completed in 114 milliseconds

1234567891011>>