3 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
4 * Marius Groeger <mgroeger@sysgo.de>
7 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
8 * Alex Zuepke <azu@sysgo.de>
10 * SPDX-License-Identifier: GPL-2.0+
16 void do_irq (struct pt_regs *pt_regs)
21 #if defined(CONFIG_TEGRA)
22 static ulong timestamp;
27 /* No timer routines for tegra as yet */