@@ -10,7 +10,7 @@
* fixup data racing
*/
-#include "smp.h"
+#include "smp_call.h"
#define DBG_TAG "SMP"
#define DBG_LVL DBG_INFO
@@ -9,7 +9,7 @@ config RT_USING_FDT
bool "Using fdt fwnode for device drivers"
default n
config FDT_USING_DEBUG
- bool "Using fdt debug function "
+ bool "Using fdt debug function"
endif
@@ -15,7 +15,7 @@ rsource "drivers/ipc/Kconfig"
rsource "posix/Kconfig"
rsource "mm/Kconfig"
rsource "tmpfs/Kconfig"
-rsource "smp_ipi/Kconfig"
+rsource "smp_call/Kconfig"
endmenu
@@ -12,7 +12,7 @@
#include <rtdevice.h>
#include <utest.h>
#include <utest_assert.h>
-#include <smp.h>
+#include <smp_call.h>
#define TEST_COUNT 10000
@@ -11,7 +11,7 @@
#define PERCPU_TEST_COUNT 10000
#define NEWLINE_ON 80
@@ -13,7 +13,7 @@
#define DBG_TAG "cpu.aa64"
#include <rtdbg.h>
#include <cpu.h>
#include <mmu.h>
#include <cpuport.h>