/seL4-refos-master/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 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 D | kobject_t.h | 33 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 D | kobject_t.h | 32 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 D | kobject_t.h | 33 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 D | server.py | 17 {{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 D | client_header.py | 19 {{for type, itype, name, mode, dr, apfx, aref, apsfx in calist}} 25 {{type}} {{name}}
|
/seL4-refos-master/cidl_templates/ |
H A D | server.py | 17 {{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 D | client_header.py | 19 {{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 D | debug.h | 133 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 D | socketpair.c | 6 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 D | kobject_t.h | 32 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 D | kobject_t.h | 32 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 D | kobject_t.h | 32 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 D | kobject_t.h | 32 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 D | dlsym.s | 3 .type dlsym,%function
|
/seL4-refos-master/libs/libmuslc/src/ldso/microblaze/ |
H A D | dlsym.s | 3 .type dlsym,@function
|
/seL4-refos-master/libs/libmuslc/src/ldso/x32/ |
H A D | dlsym.s | 4 .type dlsym,@function
|
/seL4-refos-master/libs/libmuslc/src/ldso/x86_64/ |
H A D | dlsym.s | 4 .type dlsym,@function
|
/seL4-refos-master/libs/libmuslc/src/math/aarch64/ |
H A D | fabs.s | 3 .type fabs,%function
|
H A D | fabsf.s | 3 .type fabsf,%function
|
H A D | sqrt.s | 3 .type sqrt,%function
|
H A D | sqrtf.s | 3 .type sqrtf,%function
|
/seL4-refos-master/libs/libmuslc/src/math/aarch64_sel4/ |
H A D | fabs.s | 3 .type fabs,%function
|
H A D | fabsf.s | 3 .type fabsf,%function
|
H A D | sqrt.s | 3 .type sqrt,%function
|