Re: [PATCH 08/13] x86: do not use print_symbol()

From: Sergey Senozhatsky
Date: Mon Dec 11 2017 - 21:41:58 EST


On (12/11/17 18:45), Borislav Petkov wrote:
> For the mce.c bit above:
>
> Acked-by: Borislav Petkov <bp@xxxxxxx>

thanks.

-ss