/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#ifndef CPU_INTEL_FSB_H
#define CPU_INTEL_FSB_H

/*
 * This function returns round up 3 * get_timer_fsb()
 */
int get_ia32_fsb_x3(void);

#endif /* CPU_INTEL_FSB_H */