Type Definition CCODE::PDISK_CONTROLLER_NUMBER

type PDISK_CONTROLLER_NUMBER = *mut _DISK_CONTROLLER_NUMBER;