HelenOS sources

kseg_init          38 kernel/arch/amd64/include/arch/kseg.h extern void kseg_init(void);
kseg_init         139 kernel/arch/amd64/src/amd64.c 	kseg_init();