#include <idt77252.h>
Definition at line 309 of file idt77252.h.
Definition at line 312 of file idt77252.h.
Definition at line 311 of file idt77252.h.