LEDs

There are 10 red LEDs which can be set by writing directly to the 10 least significant bits of the red LED register at 0xFF200000. This is a single 32 bit register. Bits 31 down to 10 are unused.

DeviceRed LEDs
Configuration 32-bit registers
Input/OutputOutput only
Address Basered LEDs: 0xFF200000
Address Mapbase - each map directly to the register

Notes

Each register is 32-bits wide but only the bottom 10 are used for the red LEDs. The upper bits are don't cares.

Assembly Example: Turn on all red LEDs

.equ ADDR_REDLEDS, 0xFF200000

  movia r2,ADDR_REDLEDS
  movi  r3,0xff
  stwio r3,0(r2)        # Write to LEDs 

C Example: Turn on all red LEDs

#define RLEDs ((volatile long *) 0xFF200000)
int main()
{
     *RLEDs = 0x0ff;
}