Symbol: sync_core_before_usermode