三星平台中打印寄存器

例子：

#include <plat/gpio-bank-k.h>
#include <plat/gpio-bank-l.h>
#include <asm/io.h>

static void gpio_status_report(void)
{
    unsigned int value1, value2;
   
    value1 = readl(S3C64XX_GPKCON1);
    printk("S3C64XX_GPKCON1 ---->value 0x%x/n", value1);
   
    value2 = readl(S3C64XX_GPLCON);
    printk("S3C64XX_GPLCON ---->value 0x%x/n", value2);
}

找寄存器可以在regs-XXXX中找。
readl是raw_readl的封装。

而pxa平台中是这样的：

__REG_GPIO(寄存器物理地址比如0xXXXX)。