converted linux_check_idt