-
Philippe Gerum authored
Unlike xnsched_current_thread(), xnshadow_current() does not involve accessing protected per-cpu data on SMP. So prefer it when the context is obviously primary, which guarantees that xnsched_current_thread() == xnshadow_current().
c927e1f8