pub fn platform_init_secondary()
Expand description

Initializes the platform devices for secondary CPUs.