//***************************************************************************/
//*
//*                  Copyright (c) 1998-99 Intel Corporation.
//*                         All rights reserved.
//*
//*
//***************************************************************************/
//
char wholeCache[512*1024];

void trashCache () {
    for (int i=0; i < 512*1024/2; i+=32) {
        char tmp1 = wholeCache[i];
        char tmp2 = wholeCache[(512*1024 - 1) - i];

        wholeCache[i] = tmp2;
        wholeCache[(512*1024 - 1) - i] = tmp1;
    }
}