/*
#include <s3c44b0x.h>
#include <leds.h>

void leds_init( void )
{
    ...
}

void led_on( uint8 led )
{
    ...
}

void led_off( uint8 led )
{
    ...
}

void led_toggle( uint8 led )
{
    ...
}

uint8 led_status( uint8 led )
{
    ...
}
*/