2  * QTest testcase for the CMSDK APB watchdog device
7  * under the terms of the GNU General Public License as published by the
8  * Free Software Foundation; either version 2 of the License, or
11  * This program is distributed in the hope that it will be useful, but WITHOUT
12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13  * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
94     /* Step to just past the 500th tick */  in test_watchdog()
99     /* Just past the 1000th tick: timer should have fired */  in test_watchdog()
108     /* Writing any value to WDOGINTCLR clears the interrupt and reloads */  in test_watchdog()
120  * This test can only be executed in the stellaris board since it relies on a
121  * component of the board to change the clocking parameters of the watchdog.
131      * Test that writing to the stellaris board's RCC register to  in test_clock_change()
132      * change the system clock frequency causes the watchdog  in test_clock_change()
133      * to change the speed it counts at.  in test_clock_change()
140     /* Step to just past the 500th tick */  in test_clock_change()
145     /* Rewrite RCC.SYSDIV from 16 to 8, so the clock is now 40ns per tick */  in test_clock_change()
151     /* Just past the 1000th tick: timer should have fired */  in test_clock_change()
161     /* Writing any value to WDOGINTCLR clears the interrupt and reloads */  in test_clock_change()
172 /* Tests the counter is not running after reset. */
188      * The counter should not be running if WDOGCONTROL.INTEN has not been set,  in test_watchdog_reset()
189      * as it is the case after a cold reset.  in test_watchdog_reset()
195     /* Let the counter run before reset */  in test_watchdog_reset()
210     /* The counter should not be running after reset. */  in test_watchdog_reset()
219  * Tests inten works as the counter enable based on this description:
221  * Enable the interrupt event, WDOGINT. Set HIGH to enable the counter and the
222  * interrupt, or LOW to disable the counter and interrupt. Reloads the counter
223  * from the value in WDOGLOAD when the interrupt is enabled, after previously
239      * When WDOGLOAD is written to, the count is immediately restarted from the  in test_watchdog_inten()
242      * Note: the counter should not be running as long as WDOGCONTROL.INTEN is  in test_watchdog_inten()
252     /* Set HIGH WDOGCONTROL.INTEN to enable the counter and the interrupt */  in test_watchdog_inten()
258     /* or LOW to disable the counter and interrupt. */  in test_watchdog_inten()
265      * Reloads the counter from the value in WDOGLOAD when the interrupt is  in test_watchdog_inten()
278      * When WDOGLOAD is written to, the count is immediately restarted from the  in test_watchdog_inten()
281      * Note: the counter should be running since WDOGCONTROL.INTEN is set  in test_watchdog_inten()
291     /* Finally disable and check the conditions don't change */  in test_watchdog_inten()
302  * Tests the following custom behavior:
304  * The Luminary version of this device ignores writes to this register after the
320      * When WDOGLOAD is written to, the count is immediately restarted from the  in test_watchdog_inten_luminary()
323      * Note: the counter should not be running as long as WDOGCONTROL.INTEN is  in test_watchdog_inten_luminary()
333     /* Set HIGH WDOGCONTROL.INTEN to enable the counter and the interrupt */  in test_watchdog_inten_luminary()
340      * The Luminary version of this device ignores writes to this register after  in test_watchdog_inten_luminary()
341      * the guest has enabled interrupts  in test_watchdog_inten_luminary()
357     /* The counter should not be running after reset. */  in test_watchdog_inten_luminary()