设备寄存器的地址？

linux下驱动的编写时，设备寄存器的地址分配应该在哪，好像是一个专门的头文件吧，不过找了半天没发现，哪位大虾之点一二
int Adc0809Init(void)
{
*(unsigned long *)0xff000180 |= 0x00120000;

// printk("after set=======>long 0x80000180 : 0x%08x\n", *(unsigned long *)0xff000180);
// printk("before set=======>long 0x80000280 : 0x%08x\n", *(unsigned long *)0xff000280);
。。。。。。。
}
中的*(unsigned long *)0xff000180 |= 0x00120000;
这个地址0xff000180是分配好的吗，在哪能找到