mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
parent
df459c46ef
commit
7abe07e2cf
@ -105,7 +105,7 @@ const struct trace_print_flags vmaflag_names[] = { {0,NULL}};
|
||||
|
||||
void rcu_barrier(void)
|
||||
{
|
||||
lx_emul_trace_and_stop(__func__);
|
||||
lx_emul_trace(__func__);
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user