ECACHE_PAGE_BYTE_MAX
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];
volatile int garbage[ECACHE_PAGE_BYTE_MAX - sizeof (page_t)];