kernel.return_fixes: add mipi_dsi_device_transfer(), timer_delete() and get_device()
[smatch.git] / ssa.h
blob8537ac7b27d2e8eb0e285d26c16c4c0d1f4536f9
1 #ifndef SSA_H
2 #define SSA_H
4 struct entrypoint;
6 void ssa_convert(struct entrypoint *ep);
8 #endif