Kernel Header problem in LED driver code.

Hi,

I am using BBB 3.8.13-bone47 and trying to write the driver for the 4 user LEDs.
I am cross-compiling my code on host with the linux-3.8.13 kernel headers(I have downloaded 3.8.13 from kernel.org and using inlcude/linux 's headers )

Here is the code i have develop. i want to blink the LEDs after insmod. and want to unloaded successfully.

############# LED_Driver.c ########################

#include <linux/init.h>
#include <linux/module.h>
#include<linux/kernel.h>

#define LED_CTR (unsigned int)0x4804c134
#define LED_PATT (unsigned int)0x4804c13c
MODULE_LICENSE(“GPL”);
//unsigned int LED_CTR=(unsigned int)0x4804c134;
//unsigned int LED_PATT=(unsigned int)0x4804c13c;
static int __init led_ins(void)
{
int i;
LED_CTR=0;
LED_PATT=0x01e00000;
for(i=0;i<100000;i++);
LED_PATT=0;
return 0;
}
static void __exit led_ex(void)
{
printk(“LED module unloaded successfully”);
}
module_init(led_ins);
module_exit(led_ex);