1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Copyright (C) 2001 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
4 */
5
6#include <linux/module.h>
7
8extern void mcount(void);
9EXPORT_SYMBOL(mcount);
10