denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base-pistachio: fix compile error with GCC 8.3.0

Browse Source 
Fixes #3327
This commit is contained in:
Christian Prochaska
2019-05-06 14:12:09 +02:00
committed by Christian Helmuth
parent 940ba9ba95
commit a41d46e193
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-pistachio/src/core/platform.cc
View File

@@ -66,7 +66,7 @@ static unsigned long _core_pager_stack[PAGER_STACK_ELEMENTS];
static inline bool write_fault(Pistachio::L4_Word_t flags) {
return (flags & 2) == 1; }
return (flags & 2); }
static bool wait_for_page_fault(Pistachio::L4_ThreadId_t &from,