// SPDX-License-Identifier: GPL-2.0+ /* * Andestech ATCPIT100 timer driver * * (C) Copyright 2016 * Rick Chen, NDS32 Software Engineering, rick@andestech.com */ #include #include #include #include #include #define REG32_TMR(x) (*(u32 *) ((plat->regs) + (x>>2))) /* * Definition of register offsets */ /* ID and Revision Register */ #define ID_REV 0x0 /* Configuration Register */ #define CFG 0x10 /* Interrupt Enable Register */ #define INT_EN 0x14 #define CH_INT_EN(c , i) ((1<regs = map_physmem(dev_read_addr(dev), 0x100 , MAP_NOCACHE); return 0; } static const struct timer_ops atcpit_timer_ops = { .get_count = atcpit_timer_get_count, }; static const struct udevice_id atcpit_timer_ids[] = { { .compatible = "andestech,atcpit100" }, {} }; U_BOOT_DRIVER(atcpit100_timer) = { .name = "atcpit100_timer", .id = UCLASS_TIMER, .of_match = atcpit_timer_ids, .of_to_plat = atcpit_timer_of_to_plat, .plat_auto = sizeof(struct atcpit_timer_platdata), .probe = atcpit_timer_probe, .ops = &atcpit_timer_ops, };