| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ega.c | 114 int ret; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | mx6qsabrelite.c | 149 int ret; local
163 int ret; local
[all...] |
| H A D | mxc_gpio.c | 188 int ret = mxc_gpio_direction(gpio, MXC_GPIO_DIRECTION_OUT, io_ops); local
|
| /seL4-refos-master/kernel/src/api/ |
| H A D | faults.c | 239 unsigned int ret = setMR(receiver, receiveIPCBuffer, local
|
| /seL4-refos-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 39 deriveCap_ret_t ret; local
[all...] |
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | cspace.c | 18 lookupCap_ret_t ret; local
35 lookupCapAndSlot_ret_t ret; local
55 lookupSlot_raw_ret_t ret; local
69 lookupSlot_ret_t ret; local
128 resolveAddressBits_ret_t ret; local
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/ |
| H A D | platform_init.c | 43 uint32_t ret = SMC_SIP_INVOKE_MCE | (func & MCE_SMC_ENUM_MAX); local
|
| /seL4-refos-master/tools/elfloader/src/plat/tx2/ |
| H A D | platform_init.c | 43 uint32_t ret = SMC_SIP_INVOKE_MCE | (func & MCE_SMC_ENUM_MAX); local
|
| /seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 134 syscall_error_t ret = { local
185 syscall_error_t ret = { local
227 syscall_error_t ret = { local
241 syscall_error_t ret = { local
[all...] |
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 122 syscall_error_t ret; local
134 syscall_error_t ret = { local
156 syscall_error_t ret = { local
171 syscall_error_t ret = { local
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 37 deriveCap_ret_t ret; local
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | alloc.c | 246 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
287 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | iommu_dma.c | 151 void *ret; local
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | alloc.c | 246 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
287 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | iommu_dma.c | 151 void *ret; local
|
| /seL4-refos-master/libs/libmuslc/arch/mips64/ |
| H A D | syscall_arch.h | 83 long ret; local
113 long ret; local
145 long ret; local
|
| /seL4-refos-master/libs/libmuslc/arch/x32/ |
| H A D | syscall_arch.h | 38 unsigned long ret; local
45 unsigned long ret; local
52 unsigned long ret; local
64 unsigned long ret; local
78 unsigned long ret; local
94 unsigned long ret; local
112 unsigned long ret; local
[all...] |
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | fmal.c | 62 struct dd ret; local
135 struct dd ret; local
270 long double ret; local
[all...] |
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | syslog.c | 24 int ret = log_mask; local
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | pthread_create.c | 183 int ret, c11 = (attrp == __ATTRP_C11_THREAD); local
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 109 int ret; local
123 int ret; local
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 284 int ret; local
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | local_time_manager.c | 78 int ret = ltimer_get_time(state->ltimer, &curr_time); local
145 int ret = ltimer_get_time(state->ltimer, &curr_time); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | regions.c | 202 int ret; local
|
| /seL4-refos-master/projects/util_libs/libpci/src/ |
| H A D | virtual_pci.c | 46 bool ret = libpci_virtual_pci_device_allow(self, matched_devices[i]); local
149 int ret = libpci_ioread(port_no, val, size); local
189 int ret = libpci_iowrite(port_no, val, size); local
|