Re: [Xen-devel] [PATCH 4/7] x86: Replace print_symbol() with new %ps/%pS format

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 05.11.13 at 11:52, Andrew Cooper <andrew.cooper3@xxxxxxxxxx> wrote:
> On 05/11/13 10:47, Jan Beulich wrote:
>> Also, this isn't really x86 code...
> 
> So it isn't.  I shall split it into a patch on its own.

Or perhaps fold it into the patch removing print_symbol(), which
touches common code anyway.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel