试过只包含#include <plat/regs-timer.h>
编译时候出错：error: 'S3C_VA_TIMER' undeclared (first use in this function)

于是我包含了#include <plat/map-base.h>

但是我发现定时器的地址不对，显示的地址如下：
S3C_TCFG0=0xf6300000
S3C_TCFG1=0xf6300004
S3C_TCON=0xf6300008
S3C_TINT_CSTAT=0xf6300044

而datasheet的TCFG0地址是0x7F006000


请教：
1.  应该包含哪些头文件以配置定时器？
2.  S3C_TCFG0是不是tiny6410的TCFG0寄存器?

linux内核中都是通过虚拟地址来读/写寄存器的
所以, S3C_TCFG0是没有问题的

定时器是可以使用了。

不过只能做100hz的周期型中断，如果1000hz周期性中断的话telnet就没反应了。当然ping还是可以看到回应的。