1 void something();
   2 
   3 int kmap(int p);
   4 int kunmap(int p);
   5 int kmap_atomic(int p);
   6 int kunmap_atomic(int p);
   7 
   8 int page;
   9 int x;
  10 int y;
  11 int z;
  12 
  13 void func(void)
  14 {
  15         x = kmap(page);
  16         kunmap(page);
  17         kunmap(x);
  18         y = kmap_atomic(z);
  19         kunmap_atomic(y);
  20         kunmap_atomic(z);
  21 }
  22 /*
  23  * check-name: smatch check kunmap
  24  * check-command: smatch -p=kernel sm_check_kunmap.c
  25  *
  26  * check-output-start
  27 sm_check_kunmap.c:17 func() warn: passing the wrong variable to kunmap()
  28 sm_check_kunmap.c:20 func() warn: passing the wrong variable to kmap_atomic()
  29  * check-output-end
  30  */