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,
HelenOS homepage, sources at GitHub