11506 smatch resync
@@ -72,6 +72,8 @@ static inline void __smatch_mtag_data(long long arg){} static inline void __smatch_exit(void){} static inline void __smatch_state_count(void){} static inline void __smatch_mem(void){} + +static inline void __smatch_container(long long container, long long x){} #endif