HelenOS sources

arch_construct_function  110 kernel/generic/include/arch.h extern void *arch_construct_function(fncptr_t *, void *, void *);
arch_construct_function  979 kernel/generic/src/console/cmd.c 		fnc = (sysarg_t (*)(void)) arch_construct_function(&fptr,
arch_construct_function 1040 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,
arch_construct_function 1077 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,
arch_construct_function 1114 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,