unsigned long long NandFlashModel_GetDeviceSizeInBytes(const struct NandFlashModel *model) { return ((unsigned long long) model->deviceSizeInMegaBytes) << 20; }