The members of this field are filled automatically by the function init_smp() within the startup library.