Searched defs:result (Results 1 - 15 of 15) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/model/
H A Dsmp.h27 void *result; local
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dsmp_sys.c132 bool_t result; local
H A Dboot_sys.c770 bool_t result = false; local
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/
H A Dmachine.h90 rdmsr_safe_result_t result; local
/seL4-mcs-10.1.1/src/arch/arm/32/machine/
H A Dcapdl.c29 static int getDecodedChar(unsigned char *result) argument
253 int result; local
[all...]
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/
H A Dmachine.h135 void *result; local
231 rdmsr_safe_result_t result; local
/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c569 bool_t result; local
[all...]
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c397 bool_t result = try_init_kernel(ui_p_reg_start, local
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcapdl.c28 static int getDecodedChar(unsigned char *result) argument
274 int result; local
[all...]
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dfdt.c93 static const uint32_t *fdt_get_address(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument
102 static const uint32_t *fdt_get_size(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A Dvspace_32paging.c390 readWordFromVSpace_ret_t result; local
/seL4-mcs-10.1.1/src/kernel/
H A Dboot.c434 bool_t result = create_sched_context(NODE_STATE_ON_CORE(ksIdleThread, i), local
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Dvspace.c1686 readWordFromVSpace_ret_t result; local
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c3212 readWordFromVSpace_ret_t result; local
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c2640 readWordFromVSpace_ret_t result; local

Completed in 112 milliseconds