firmware/src/ec.h

/* Copyright 2025 The ChromiumOS Authors
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

/* Send a reset pulse to the EC board */
void ec_reset(void);