1 // SPDX-License-Identifier: GPL-2.0 2 3 #include "hpi_internal.h" 4 #include "hpimsginit.h" 5 6 #include "hpidebug.h" 7