HelenOS sources

VECTOR_SYSCALL    175 kernel/arch/ia32/src/pm.c 		if (i == VECTOR_SYSCALL) {
VECTOR_SYSCALL    256 kernel/arch/ia32/src/pm.c 	idt_setoffset(&idt[VECTOR_SYSCALL], (uintptr_t) &int_syscall);