Searched refs:L4_DEBUGGER_NAME_GET_OP (Results 1 – 1 of 1) sorted by relevance
204 L4_DEBUGGER_NAME_GET_OP = 5UL, enumerator330 l4_utcb_mr_u(utcb)->mr[0] = L4_DEBUGGER_NAME_GET_OP; in l4_debugger_get_object_name_u()
Completed in 3 milliseconds