From c52b7d307693115e6213dcc2d96fdc2ec9d50306 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sun, 15 Sep 2013 17:40:27 +0200 Subject: [PATCH] rpi: Videocore cache definitions --- base/include/platform/rpi/drivers/board_base.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/base/include/platform/rpi/drivers/board_base.h b/base/include/platform/rpi/drivers/board_base.h index 439c2b548..f1b44e11c 100644 --- a/base/include/platform/rpi/drivers/board_base.h +++ b/base/include/platform/rpi/drivers/board_base.h @@ -59,6 +59,11 @@ namespace Genode /* CPU cache */ CACHE_LINE_SIZE_LOG2 = 2, /* FIXME get correct value from board spec */ }; + + enum Videocore_cache_policy { NON_COHERENT = 0, + COHERENT = 1, + L2_ONLY = 2, + UNCACHED = 3 }; }; }