/* SPDX-License-Identifier: GPL-2.0-only */ #include #include int mainboard_should_reset_usb(int s3resume) { return !s3resume; }