Searched refs:success (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dhardware.c98 * tells through .success whether or not one happened */
100 if (info.success) {
/seL4-test-master/kernel/src/object/
H A Dcnode.c27 bool_t success; member in struct:finaliseSlot_ret
561 if (exposed || fs_ret.success) {
628 ret.success = true;
637 ret.success = false;
645 ret.success = false;
653 ret.success = false;
659 ret.success = true;
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h100 result.success = returnto != 0;
/seL4-test-master/kernel/include/kernel/
H A Dboot.h80 bool_t success; member in struct:create_frames_of_region_ret
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c274 if (!extra_bi_ret.success) {
294 if (!create_frames_ret.success) {
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c322 if (!extra_bi_ret.success) {
347 if (!create_frames_ret.success) {
/seL4-test-master/tools/riscv-pk/machine/
H A Dfp_emulation.c328 goto success;
336 goto success;
339 success:
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c460 if (!extra_bi_ret.success) {
485 if (!create_frames_ret.success) {
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h241 result.success = returnto != 0;
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h122 bool_t success; member in struct:rdmsr_safe_result
/seL4-test-master/kernel/manual/parts/
H A Dapi.tex80 \newcommand{\errorenumdesc}{A return value of \texttt{0} indicates success. A non-zero value indicates that an error occurred. See \autoref{sec:errors} for a description of the message register and tag contents upon error.}

Completed in 74 milliseconds