xfilecorediscop64_read_sectors
extern os_error *xfilecorediscop64_read_sectors(uint32_t,
if ((err = xfilecorediscop64_read_sectors(0, &daddr64, buf,