We need to investigate if we (still) need the additional nmethod state between "zombie" and flushing (called "marked for reclamation"). Isn't it guaranteed that if a nmethod is encountered again after being converted to zombie, no ICs point to it and we could already flush it? Because the nmethod was zombie for at least one sweeper cycle before being encountered again, all ICs of other nmethods pointing to it should now be cleaned.