HelenOS sources

arch_construct_function  110 kernel/generic/include/arch.h extern void *arch_construct_function(fncptr_t *, void *, void *);
arch_construct_function  977 kernel/generic/src/console/cmd.c 		fnc = (sysarg_t (*)(void)) arch_construct_function(&fptr,
arch_construct_function 1038 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,
arch_construct_function 1075 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,
arch_construct_function 1112 kernel/generic/src/console/cmd.c 		    arch_construct_function(&fptr, (void *) symaddr,