#include "io.h"

#define	CHIPID_REG1	0xF7CFF060
#define	CHIPID_REG2	0xF7CFF064

uint64_t get_chip_id(void)
{
        uint64_t chip_id = 0;

        chip_id  = readl(CHIPID_REG1) ;
        chip_id += (uint64_t)(readl(CHIPID_REG2)) << 32;

        return chip_id;
}