mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
parent
da6b384e3a
commit
7eb0b6928a
@ -48,7 +48,7 @@ class Local_fault_handler : public Entrypoint
|
|||||||
{
|
{
|
||||||
Region_map::State state = _region_map.state();
|
Region_map::State state = _region_map.state();
|
||||||
|
|
||||||
_fault_cnt ++;
|
_fault_cnt = _fault_cnt + 1;
|
||||||
|
|
||||||
log("region-map state is ",
|
log("region-map state is ",
|
||||||
state.type == Region_map::State::READ_FAULT ? "READ_FAULT" :
|
state.type == Region_map::State::READ_FAULT ? "READ_FAULT" :
|
||||||
|
Loading…
x
Reference in New Issue
Block a user