/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
 * Copyright (C) 2025, Kuan-Wei Chiu <visitorckw@gmail.com>
 */

#ifndef _GOLDFISH_TIMER_H_
#define _GOLDFISH_TIMER_H_

struct goldfish_timer_plat {
	phys_addr_t reg;
};

#endif /* _GOLDFISH_TIMER_H_ */
