microblaze_mmu_v2: Makefiles
[linux-2.6.git] / arch / microblaze / kernel / heartbeat.c
1 /*
2  * Copyright (C) 2007-2009 Michal Simek <monstr@monstr.eu>
3  * Copyright (C) 2007-2009 PetaLogix
4  * Copyright (C) 2006 Atmark Techno, Inc.
5  *
6  * This file is subject to the terms and conditions of the GNU General Public
7  * License. See the file "COPYING" in the main directory of this archive
8  * for more details.
9  */
10
11 #include <linux/sched.h>
12 #include <linux/io.h>
13
14 #include <asm/setup.h>
15 #include <asm/page.h>
16 #include <asm/prom.h>
17
18 static unsigned int base_addr;
19
20 void heartbeat(void)
21 {
22         static unsigned int cnt, period, dist;
23
24         if (base_addr) {
25                 if (cnt == 0 || cnt == dist)
26                         out_be32(base_addr, 1);
27                 else if (cnt == 7 || cnt == dist + 7)
28                         out_be32(base_addr, 0);
29
30                 if (++cnt > period) {
31                         cnt = 0;
32                         /*
33                          * The hyperbolic function below modifies the heartbeat
34                          * period length in dependency of the current (5min)
35                          * load. It goes through the points f(0)=126, f(1)=86,
36                          * f(5)=51, f(inf)->30.
37                          */
38                         period = ((672 << FSHIFT) / (5 * avenrun[0] +
39                                                 (7 << FSHIFT))) + 30;
40                         dist = period / 4;
41                 }
42         }
43 }
44
45 void setup_heartbeat(void)
46 {
47         struct device_node *gpio = NULL;
48         int j;
49         char *gpio_list[] = {
50                                 "xlnx,xps-gpio-1.00.a",
51                                 "xlnx,opb-gpio-1.00.a",
52                                 NULL
53                         };
54
55         for (j = 0; gpio_list[j] != NULL; j++) {
56                 gpio = of_find_compatible_node(NULL, NULL, gpio_list[j]);
57                 if (gpio)
58                         break;
59         }
60
61         base_addr = *(int *) of_get_property(gpio, "reg", NULL);
62         base_addr = (unsigned long) ioremap(base_addr, PAGE_SIZE);
63         printk(KERN_NOTICE "Heartbeat GPIO at 0x%x\n", base_addr);
64
65         if (*(int *) of_get_property(gpio, "xlnx,is-bidir", NULL))
66                 out_be32(base_addr + 4, 0); /* GPIO is configured as output */
67 }