Do not directly include and use APIs from ksched.h outside of the kernel. For now do this using more suitable (ipi.h and kernel_internal.h) internal APIs until more cleanup is done. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
Do not directly include and use APIs from ksched.h outside of the kernel. For now do this using more suitable (ipi.h and kernel_internal.h) internal APIs until more cleanup is done. Signed-off-by: Anas Nashif <anas.nashif@intel.com>