| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | boot.c | 404 bool_t ret = true; local
567 bool_t ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 187 int mask, ret = 1; local
408 unsigned int ret; local
434 unsigned int ret; local
648 int ret; local
662 int ret = i8259_has_irq(vm); local
703 int ret; local
[all...] |
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 874 seL4_Word ret; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 486 uint16_t ret=0; local
515 int ret; local
749 int ret; local
[all...] |
| /seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
| H A D | dir.c | 576 int ret = 0; local
776 int ret; local
[all...] |
| H A D | module.c | 51 int ret = 1; local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dns_common.c | 606 int ret = 0; local
922 int ret = 0; local
|
| H A D | pico_ipv4.c | 384 int ret = 0; local
|
| H A D | pico_ipv6_nd.c | 1531 int ret = -1; local
|
| H A D | pico_olsr.c | 483 uint32_t ret = 0; local
524 uint32_t ret = 0; local
558 uint32_t ret = 0; local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_6lowpan.c | 113 int test = 1, ret = 0; local
142 int test = 1, ret = 0; local
178 int test = 1, ret = 0; local
207 int test = 1, ret = 0; local
271 int test = 1, ret = 0; local
334 int ret = 0; local
406 int8_t ret = 0; local
433 int ret = 0; local
474 int ret = 0; local
513 int test = 1, ret = 0; local
563 int test = 1, ret = 0; local
619 int ret = 0; local
708 int ret = 0; local
812 int ret = 0; local
879 int ret = 0; local
[all...] |
| H A D | modunit_pico_mdns.c | 65 int ret = 0; local
107 int ret local
158 int ret = 0; local
254 int ret = 0; local
505 int ret = 0; local
662 char *ret = NULL; local
751 int ret = 0; local
851 int ret = 0; local
889 int ret = 0; local
1008 int ret = 0; local
1159 int ret = 0; local
1210 int ret = 0; local
1389 int ret = 0; local
1438 int ret = 0; local
1500 int ret = 0; local
1554 int ret = 0; local
1591 int ret = 0; local
1634 int ret = 0; local
1661 int ret = 0; local
1714 int ret = 0; local
1794 int ret = 0; local
1895 int ret = 0; local
1951 int ret = 0; local
1977 int ret = 0; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ |
| H A D | xenbus.c | 148 char **ret; local
854 domid_t ret; local
|
| /seL4-camkes-master/kernel/src/arch/arm/machine/ |
| H A D | debug.c | 599 getBreakpoint_t ret; local
941 int i, ret = -1; local
998 fault_status_t ret; local
1083 seL4_Fault_t ret; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 547 findVSpaceForASID_ret_t ret; local
618 lookupPTSlot_ret_t ret; local
867 create_mapping_pte_return_t ret; local
896 create_mapping_pde_return_t ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 523 int ret = 0; local
|
| /seL4-camkes-master/projects/lwip/src/core/ |
| H A D | dns.c | 1026 u8_t ret = 0; local
|
| H A D | pbuf.c | 1373 int ret = pbuf_try_get_at(p, offset); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | serial.c | 215 int ret = -1; local
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 999 lookupPDPTSlot_ret_t ret; local
1023 lookupPDSlot_ret_t ret; local
1483 create_mapping_pdpte_return_t ret; local
1542 readWordFromVSpace_ret_t ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 705 int ret = 0; local
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 319 findVSpaceForASID_ret_t ret; local
392 lookupPTSlot_ret_t ret; local
1170 lookupPTSlot_ret_t ret = lookupPTSlot(vspace_root, address); local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
| H A D | unpack.hpp | 507 int ret = push_proc(obj, off); local
567 int ret = push_item(obj); local
625 int ret = push_proc(obj, off); local
629 int ret = push_proc(obj, off); local
669 int ret = push_proc(obj, off); local
678 int ret = push_aggregate<fix_tag>( local
682 int ret = push_aggregate<fix_tag>( local
687 int ret = push_proc(obj, off); local
691 int ret = push_proc(obj, off); local
695 int ret = push_proc(obj, off); local
721 int ret = push_proc(obj, off); local
734 int ret = push_proc(obj, off); local
741 int ret = push_proc(obj, off); local
748 int ret = push_proc(obj, off); local
755 int ret = push_proc(obj, off); local
762 int ret = push_proc(obj, off); local
769 int ret = push_proc(obj, off); local
776 int ret = push_proc(obj, off); local
783 int ret = push_proc(obj, off); local
790 int ret = push_proc(obj, off); local
795 int ret = push_proc(obj, off); local
800 int ret = push_proc(obj, off); local
805 int ret = push_proc(obj, off); local
810 int ret = push_proc(obj, off); local
815 int ret = push_proc(obj, off); local
824 int ret = push_proc(obj, off); local
838 int ret = push_proc(obj, off); local
852 int ret = push_proc(obj, off); local
866 int ret = push_proc(obj, off); local
880 int ret = push_proc(obj, off); local
894 int ret = push_proc(obj, off); local
908 int ret = push_proc(obj, off); local
922 int ret = push_proc(obj, off); local
938 int ret = push_proc(obj, off); local
948 int ret = push_proc(obj, off); local
953 int ret = push_proc(obj, off); local
958 int ret = push_proc(obj, off); local
962 int ret = push_aggregate<uint16_t>( local
968 int ret = push_aggregate<uint32_t>( local
973 int ret = push_aggregate<uint16_t>( local
979 int ret = push_aggregate<uint32_t>( local
1599 int ret = execute_imp(); local
1632 int ret = execute_imp(); local
1645 int ret = m_ctx.execute(m_buffer, m_used, m_off); local
1784 unpack_return ret = detail::unpack_imp( local
1836 unpack_return ret = detail::unpack_imp( local
1892 unpack_return ret = detail::unpack_imp( local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | lan9730.c | 826 err_t ret = 0; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
| H A D | lwiplib.h | 259 s32_t ret; /* Return Success/Failure */ member in struct:cpsw_config
|