The following patch also needs this API, so make it generally avialable.
The function gdb_id() will not be used in gdbstub.c now, so its name is
not suitable, and rename it to cpu_index()
Signed-off-by: Wen Congyang we...@cn.fujitsu.com
---
gdbstub.c | 19 +--
gdbstub.h |9
From: Wen Congyang we...@cn.fujitsu.com
Subject: [PATCH 10/12 v11] make gdb_id() generally avialable and rename it to
cpu_index()
Date: Mon, 26 Mar 2012 18:05:39 +0800
cut
-static inline int gdb_id(CPUArchState *env)
-{
-#if defined(CONFIG_USER_ONLY) defined(CONFIG_USE_NPTL)
-return