/seL4-refos-master/libs/libmuslc/crt/arm_sel4/ |
H A D | crti.s | 5 .type _init,%function 11 .type _fini,%function
|
/seL4-refos-master/libs/libmuslc/src/math/i386/ |
H A D | remainder.s | 2 .type remainder,@function 5 .type drem,@function
|
H A D | remainderf.s | 2 .type remainderf,@function 5 .type dremf,@function
|
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/ |
H A D | remainder.s | 2 .type remainder,@function 5 .type drem,@function
|
H A D | remainderf.s | 2 .type remainderf,@function 5 .type dremf,@function
|
/seL4-refos-master/libs/libmuslc/src/process/i386/ |
H A D | vfork.s | 3 .type __vfork,@function 4 .type vfork,@function
|
/seL4-refos-master/libs/libmuslc/src/process/x32/ |
H A D | vfork.s | 3 .type __vfork,@function 4 .type vfork,@function
|
/seL4-refos-master/libs/libmuslc/src/process/x86_64/ |
H A D | vfork.s | 3 .type __vfork,@function 4 .type vfork,@function
|
/seL4-refos-master/libs/libmuslc/src/signal/arm/ |
H A D | restore.s | 4 .type __restore,%function 10 .type __restore_rt,%function
|
/seL4-refos-master/libs/libmuslc/src/signal/microblaze/ |
H A D | restore.s | 2 .type __restore,@function 8 .type __restore_rt,@function
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/ |
H A D | assembler.h | 17 .type _name, %function ; \ 28 .type _name, %function ; \
|
H A D | vargs.h | 18 #define va_arg(ap, type) __builtin_va_arg(ap, type)
|
/seL4-refos-master/tools/elfloader/include/ |
H A D | assembler.h | 17 .type _name, %function ; \ 28 .type _name, %function ; \
|
H A D | vargs.h | 18 #define va_arg(ap, type) __builtin_va_arg(ap, type)
|
/seL4-refos-master/kernel/include/machine/ |
H A D | assembler.h | 19 .type _name, %function ; \ 30 .type _name, %function ; \
|
/seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/ |
H A D | kobject_t.h | 34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 36 switch (type) { 46 ZF_LOGE("Unknown object type"); 52 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument 54 switch (type) { 77 ZF_LOGE("Unknown object type %d", type);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
H A D | kobject_t.h | 34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument 36 switch (type) { 46 ZF_LOGE("Unknown object type"); 52 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument 54 switch (type) { 77 ZF_LOGE("Unknown object type %d", type);
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_mutex_unlock.c | 8 int type = m->_m_type & 15; local 11 if (type != PTHREAD_MUTEX_NORMAL) { 15 if ((type&3) == PTHREAD_MUTEX_RECURSIVE && m->_m_count) 27 cont = a_swap(&m->_m_lock, (type & 8) ? 0x7fffffff : 0); 28 if (type != PTHREAD_MUTEX_NORMAL && !priv) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 27 region_type_t type; member in struct:Region 70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument 73 r.type = type; 82 add_region_size(RegionList_t* region_list, region_type_t type, argument 85 return add_region(region_list, new_region(type, start, size, parent)); 89 add_region_range(RegionList_t* region_list, region_type_t type, argument 92 return add_region(region_list, new_region(type, start, end - start, parent)); 109 * Find the smallest region that matches "type" 116 region_type_t type); [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 27 region_type_t type; member in struct:Region 70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument 73 r.type = type; 82 add_region_size(RegionList_t* region_list, region_type_t type, argument 85 return add_region(region_list, new_region(type, start, size, parent)); 89 add_region_range(RegionList_t* region_list, region_type_t type, argument 92 return add_region(region_list, new_region(type, start, end - start, parent)); 109 * Find the smallest region that matches "type" 116 region_type_t type); [all...] |
/seL4-refos-master/libs/libmuslc/src/fenv/mips/ |
H A D | fenv.S | 6 .type feclearexcept,@function 17 .type feraiseexcept,@function 27 .type fetestexcept,@function 35 .type fegetround,@function 42 .type __fesetround,@function 53 .type fegetenv,@function 61 .type fesetenv,@function
|
/seL4-refos-master/libs/libmuslc/src/fenv/mips64/ |
H A D | fenv.S | 6 .type feclearexcept,@function 17 .type feraiseexcept,@function 27 .type fetestexcept,@function 35 .type fegetround,@function 42 .type __fesetround,@function 53 .type fegetenv,@function 61 .type fesetenv,@function
|
/seL4-refos-master/libs/libmuslc/src/fenv/mipsn32/ |
H A D | fenv.S | 5 .type feclearexcept,@function 16 .type feraiseexcept,@function 26 .type fetestexcept,@function 34 .type fegetround,@function 41 .type __fesetround,@function 52 .type fegetenv,@function 60 .type fesetenv,@function
|
/seL4-refos-master/libs/libmuslc/src/fenv/powerpc/ |
H A D | fenv.S | 3 .type feclearexcept,@function 33 .type feraiseexcept,@function 57 .type fetestexcept,@function 70 .type fegetround,@function 82 .type __fesetround,@function 104 .type fegetenv,@function 114 .type fesetenv,@function
|
/seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch64/ |
H A D | mapping.c | 23 obj->type = seL4_ARM_PageTableObject; 28 obj->type = seL4_ARM_PageDirectoryObject; 34 obj->type = seL4_ARM_PageUpperDirectoryObject;
|