Rename: x86_platform_ipi_exit
New Name
Rename
Cancel