11506 smatch resync

*** 72,77 ****
--- 72,79 ----
  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