|
Embedded Xinu Operating System
An ongoing research project and educational operating system.
|
Data Fields | |
| uint | CS |
| uint | CLO |
| uint | CHI |
| uint | C0 |
| uint | C1 |
| uint | C2 |
| uint | C3 |
Layout of the BCM2835 System Timer's registers.
| uint bcm2835_timer_regs::C0 |
System Timer Counter Higher 32 bits
| uint bcm2835_timer_regs::C1 |
System Timer Compare 0. DO NOT USE; is used by GPU.
| uint bcm2835_timer_regs::C2 |
System Timer Compare 1
| uint bcm2835_timer_regs::C3 |
System Timer Compare 2. DO NOT USE; is used by GPU.
| uint bcm2835_timer_regs::CHI |
System Timer Counter Lower 32 bits
| uint bcm2835_timer_regs::CLO |
System Timer Control/Status
1.8.5