Provide bmk_sched_threadname() in both schedulers

diff --git a/include/bmk-core/sched.h b/include/bmk-core/sched.h
index a900e1f7a05e197af0896b4865ce61fabc3603ee..e58b707d818f1069822dbe9e1528e951615286d3 100644 (file)
--- a/include/bmk-core/sched.h
+++ b/include/bmk-core/sched.h
@@ -71,6 +71,7 @@ struct bmk_thread *bmk_sched_init_mainlwp(void *);
 
 struct bmk_thread *bmk_sched_current(void);
 int *bmk_sched_geterrno(void);
+const char     *bmk_sched_threadname(struct bmk_thread *);
 
 bmk_time_t     bmk_clock_monotonic(void);
 bmk_time_t     bmk_clock_epochoffset(void);

diff --git a/platform/baremetal/sched.c b/platform/baremetal/sched.c
index ee5312174b55c8df77d65e6c0cf3fcd610b0f68e..c905adfe9d52dc5cb13febe1f90e56fb345fa1aa 100644 (file)
--- a/platform/baremetal/sched.c
+++ b/platform/baremetal/sched.c
@@ -472,6 +472,13 @@ bmk_sched_init_mainlwp(void *cookie)
        return current;
 }
 
+const char *
+bmk_sched_threadname(struct bmk_thread *thread)
+{
+
+       return thread->bt_name;
+}
+
 int *
 bmk_sched_geterrno(void)
 {

diff --git a/platform/xen/xen/arch/x86/traps.c b/platform/xen/xen/arch/x86/traps.c
index 02b7aba450b6ee336c3c7eb48336f50d8d70b861..83cc1ccb82ffacea9edd02f685d47d854c2bae71 100644 (file)
--- a/platform/xen/xen/arch/x86/traps.c
+++ b/platform/xen/xen/arch/x86/traps.c
@@ -35,7 +35,7 @@ void _minios_entry_machine_check(void);
 
 void dump_regs(struct pt_regs *regs)
 {
-    minios_printk("Thread: %s\n", minios_threadname(bmk_sched_current()));
+    minios_printk("Thread: %s\n", bmk_sched_threadname(bmk_sched_current()));
 #ifdef __i386__    
     minios_printk("EIP: %x, EFLAGS %x.\n", regs->eip, regs->eflags);
     minios_printk("EBX: %08x ECX: %08x EDX: %08x\n",

diff --git a/platform/xen/xen/include/mini-os/sched.h b/platform/xen/xen/include/mini-os/sched.h
index 3441a63a0562bff4eca33135246931970e46c9d6..529de2055fbe801d36df10a9786802fbeb0078c1 100644 (file)
--- a/platform/xen/xen/include/mini-os/sched.h
+++ b/platform/xen/xen/include/mini-os/sched.h
@@ -16,6 +16,4 @@ void arch_create_thread(void *thread, struct bmk_tcb *,
                        void (*function)(void *), void *data,
                        void *stack_base, unsigned long stack_size);
 
-const char * minios_threadname(struct bmk_thread *thread);
-
 #endif /* __MINIOS_SCHED_H__ */

diff --git a/platform/xen/xen/sched.c b/platform/xen/xen/sched.c
index ecd0346a2b87098708b33443512843c5e38331b9..5becf2afe8a6c49ae611e02caa582622d2da7228 100644 (file)
--- a/platform/xen/xen/sched.c
+++ b/platform/xen/xen/sched.c
@@ -492,7 +492,7 @@ bmk_sched_init_mainlwp(void *cookie)
 }
 
 const char *
-minios_threadname(struct bmk_thread *thread)
+bmk_sched_threadname(struct bmk_thread *thread)
 {
 
        return thread->bt_name;