#include <linux/spinlock.h>
#include <linux/smp.h>
#include <linux/threads.h>
#include <linux/percpu.h>
#include <linux/spinlock.h>
#include <linux/smp.h>
#include <linux/threads.h>
#include <linux/percpu.h>
/*
* It is possible for the percpu_counter_read() to return a small negative
* number for some counter which should never be negative.
/*
* It is possible for the percpu_counter_read() to return a small negative
* number for some counter which should never be negative.