kern/thread: add the THREAD_KERNEL_PREFIX macro

This macro is used to build kernel thread names.

1 files changed, 1 insertions, 1 deletions

diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c
index 273b89c..bcbaec5 100644
--- a/arch/x86/machine/pmap.c
+++ b/arch/x86/machine/pmap.c
@@ -1038,7 +1038,7 @@ pmap_mp_setup(void)
 
     for (cpu = 0; cpu < cpu_count(); cpu++) {
         syncer = percpu_ptr(pmap_syncer, cpu);
-        snprintf(name, sizeof(name), "x15_pmap_sync/%u", cpu);
+        snprintf(name, sizeof(name), THREAD_KERNEL_PREFIX "pmap_sync/%u", cpu);
         cpumap_zero(cpumap);
         cpumap_set(cpumap, cpu);
         thread_attr_init(&attr, name);