idt_is_f00f_address
extern bool idt_is_f00f_address(unsigned long address);
idt_is_f00f_address(address)) {