Ksched functions to provision cores