> Well, in such case there is likely a bug in the mmc host driver, which > we need to fix. > > In either case, I think we should move forward with your suggested > patch. If any additional things are needed on top, then let's fix them > as well. I don't think that this could no longer happen on modern kernels (was observed on V4.9), Because mmc_blk_alloc_rpmb_part will not be called for the reasons you specified, So there is no mmcblk0rpmb, and idata->rpmb is null for all other devices. Thanks, Avri