HelenOS sources

reserve_init       41 kernel/generic/include/mm/reserve.h extern void reserve_init(void);
reserve_init      227 kernel/generic/src/main/main.c 	reserve_init();
HelenOS homepage, sources at GitHub