Clean up inline declarations in hotplug and platsmp