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

zephyr: Rename arch_sched_ipi() to arch_sched_broadcast_ipi() #42

Merged
merged 1 commit into from
Jun 4, 2024

Conversation

peter-mitsis
Copy link

@peter-mitsis peter-mitsis commented Mar 4, 2024

Renames arch_sched_ipi() to arch_sched_broadcast_ipi() to
reflect recent changes from the IPI optimization work done
in Zephyr.

@peter-mitsis peter-mitsis changed the title zephyr: Add parameter to arch_sched_ipi() zephyr: Renaem arch_sched_ipi() to arch_sched_broadcast_ipi() May 1, 2024
Renames arch_sched_ipi() to arch_sched_broadcast_ipi() to
reflect recent changes from the IPI optimization work done
in Zephyr.

Signed-off-by: Peter Mitsis <peter.mitsis@intel.com>
@peter-mitsis peter-mitsis changed the title zephyr: Renaem arch_sched_ipi() to arch_sched_broadcast_ipi() zephyr: Rename arch_sched_ipi() to arch_sched_broadcast_ipi() May 2, 2024
@peter-mitsis
Copy link
Author

@tmleman - Can you please review this PR? You are listed as the code owner for the affected file. I would normally have tried adding you as a reviewer in the normal github way, but the interface is not allowing me to (and I just realized that github did not auto-assign any reviewers).

@nashif nashif merged commit ac1b774 into zephyrproject-rtos:zephyr Jun 4, 2024
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.

2 participants