/*
* Size reserved for high priority events (interrupts, NMI, BH) at the end of a
* nearly full buffer. User space won't use this last amount of space when in
/*
* Size reserved for high priority events (interrupts, NMI, BH) at the end of a
* nearly full buffer. User space won't use this last amount of space when in