From 1aadce4496f16a43c78089f3206e0d573b7e81e7 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 13 Dec 2013 13:24:51 +0100 Subject: [PATCH] codezero: adjust pager ID to new thread order ref #989 --- base-codezero/patches/set_fixed_pager.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-codezero/patches/set_fixed_pager.patch b/base-codezero/patches/set_fixed_pager.patch index dc08185845..20d2367802 100644 --- a/base-codezero/patches/set_fixed_pager.patch +++ b/base-codezero/patches/set_fixed_pager.patch @@ -7,7 +7,7 @@ index 7b315b8..ace38d8 100644 struct container; -#define tcb_pagerid(tcb) ((tcb)->pager->tid) -+#define tcb_pagerid(tcb) 3 ++#define tcb_pagerid(tcb) 4 #define space_is_pager(tcb) \ ((tcb)->space->spid == (tcb)->pager->space->spid)