Searched defs:ret (Results 251 - 272 of 272) sorted by relevance

<<11

/seL4-refos-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-refos-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-refos-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-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A D	irq.c	523 int ret = 0; local
/seL4-refos-master/libs/libsel4platsupport/src/
H A D	irq.c	523 int ret = 0; local
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A D	serial.c	215 int ret = -1; local
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A D	serial.c	215 int ret = -1; local
/seL4-refos-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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A D	cmd.c	342 int ret, biggest; local 597 int ret; local [all...]
H A D	invent.c	1699 char ilet, ret; local 2782 struct obj *ret; local [all...]
H A D	options.c	3491 int ret; local
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A D	cmd.c	342 int ret, biggest; local 597 int ret; local [all...]
H A D	invent.c	1699 char ilet, ret; local 2782 struct obj *ret; local [all...]
H A D	options.c	3491 int ret; local
/seL4-refos-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
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A D	enet.c	522 struct enet *ret; local
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A D	vspace.c	643 findPDForASID_ret_t ret; local 735 lookupPTSlot_ret_t ret; local 773 resolve_ret_t ret = default_resolve_ret_t; local 1616 create_mappings_pte_return_t ret; local 1716 create_mappings_pde_return_t ret; local 2859 readWordFromVSpace_ret_t ret; local [all...]
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A D	vspace.c	561 findVSpaceForASID_ret_t ret; local 643 lookupPGDSlot_ret_t ret; local 654 lookupPUDSlot_ret_t ret; local 688 lookupPDSlot_ret_t ret; local 717 lookupPTSlot_ret_t ret; local 748 lookupFrame_ret_t ret; local 2470 readWordFromVSpace_ret_t ret; local [all...]
/seL4-refos-master/libs/libmuslc/ldso/
H A D	dynlink.c	1897 int ret = 0; local
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A D	i2c.c	1152 size_t ret; local
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A D	i2c.c	1152 size_t ret; local

Completed in 287 milliseconds

<<11

Indexes created Tue Jun 11 21:59:41 MDT 2024