ews4800mips_boot_offset
daddr_t boot_offset = ews4800mips_boot_offset();
static int ews4800mips_boot_offset(void);