int __init rtdm_syscall_init(void) { __rtdm_muxid = xnshadow_register_interface(&__props); if (__rtdm_muxid < 0) return -ENOSYS; return 0; }
int __rtai_syscall_init(void) { __rtai_muxid = xnshadow_register_interface(&__props); if (__rtai_muxid < 0) return -ENOSYS; xnpod_add_hook(XNHOOK_THREAD_DELETE, &__shadow_delete_hook); return 0; }