#include <stddef.h>
#include <cstdint>
#include "XrdSys/XrdSysPageSize.hh"
Go to the source code of this file.