11972 resync smatch

*** 1,8 ****
--- 1,10 ----
  #ifndef ALLOCATE_H
  #define ALLOCATE_H
  
+ #include "compat.h"
+ 
  struct allocation_blob {
          struct allocation_blob *next;
          unsigned int left, offset;
          unsigned char data[];
  };