idt_setoffset 147 kernel/arch/amd64/src/pm.c void idt_setoffset(idescriptor_t *d, uintptr_t offset) idt_setoffset 147 kernel/arch/ia32/src/pm.c void idt_setoffset(idescriptor_t *d, uintptr_t offset)