hw/timer/exynos4210_mct.c

71         do { fprintf(stdout, "MCT: [%24s:%5d] " fmt, __func__, __LINE__, \
129 /* MCT bits */
245 #define TYPE_EXYNOS4210_MCT "exynos4210.mct"
264     .name = "exynos4210.mct.tick_timer",
283     .name = "exynos4210.mct.lregs",
297     .name = "exynos4210.mct.lt",
314     .name = "exynos4210.mct.lregs",
332     .name = "exynos4210.mct.lt",
346     .name = "exynos4210.mct",
1169 /* MCT write */
1451                       "exynos4210.mct: write to RO register " HWADDR_FMT_plx,  in exynos4210_mct_write()
1500 /* MCT init */
1532                           "exynos4210-mct", MCT_SFR_SIZE);  in exynos4210_mct_init()