#ifndef PPC_GENERIC_FLUSH_CACHE_H
#define PPC_GENERIC_FLUSH_CACHE_H

#include "dolphin/types.h"

#endif /* PPC_GENERIC_FLUSH_CACHE_H */