/**
* Return the size of the per-superpage header required by this system. In this case it is just
* the underlying superpage header size.
*
* @return The size of the per-superpage header required by this system.
*/
@Inline
protected int superPageHeaderSize() {
return Treadmill.headerSize();
}
