Type Definition DEVICEDUMP_SECTION_HEADER
CCODE
type DEVICEDUMP_SECTION_HEADER = _DEVICEDUMP_SECTION_HEADER;