Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[os] fix device_mutex_free_logic #67

Merged
merged 1 commit into from
Feb 16, 2023
Merged

Conversation

step0035
Copy link
Collaborator

@AdamZhang0124
Copy link
Collaborator

looks like a zap-related problem, the zap-related PR has been merged, please try rebase.

- free mutex when DEVICE_MUTEX_IS_INIT
@step0035 step0035 force-pushed the device_mutex_free_fix branch from 9bcad5d to 2240d96 Compare February 16, 2023 05:09
@step0035
Copy link
Collaborator Author

@AdamZhang0124 , rebased and build success

@AdamZhang0124 AdamZhang0124 merged commit 075a163 into main Feb 16, 2023
@step0035 step0035 deleted the device_mutex_free_fix branch February 17, 2023 02:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

wrong logic in device_mutex_free
2 participants