/* This file is part of the coreboot project. */ | |
/* SPDX-License-Identifier: GPL-2.0-or-later */ | |
#ifndef _MAINBOARD_HP_PAVILION_M6_1035DX_EC_H | |
#define _MAINBOARD_HP_PAVILION_M6_1035DX_EC_H | |
#include "mainboard.h" | |
void pavilion_m6_1035dx_ec_init(void); | |
#endif /* _MAINBOARD_HP_PAVILION_M6_1035DX_EC_H */ |