fpsimd_hotplug_init
static inline void fpsimd_hotplug_init(void)
static inline void fpsimd_hotplug_init(void) { }