> My RK3128 came up with no ci_flush_bp assigned, because cpu0 never > attached, because the reg values in the DTB were 0x000-0x003 rather > than 0xf00-0xf03. This caused a "Fatal kernel mode prefetch abort" > because it was trying to execute a null function pointer. > > It took me a while to figure out all of this so maybe we can panic > instead of trying to execute a null function pointer to make it > easier for the next person?
Why not simply skip that call if ci_flush_bp is NULL?
