/*
 * usbfix.h
 *
 *  Created on: 16 Apr 2020
 *      Author: jief
 */

#ifndef PLATFORM_USBFIX_H_
#define PLATFORM_USBFIX_H_



EFI_STATUS
FixOwnership (void);



#endif /* PLATFORM_USBFIX_H_ */