HelenOS sources

idtr_load         293 kernel/arch/amd64/src/pm.c 	idtr_load(&idtr);
idtr_load         270 kernel/arch/ia32/src/pm.c 	idtr_load(&idtr);