On Thu, Jan 21, 2016 at 11:00:03AM -0800, H. Peter Anvin wrote: > NAK on this being part of .altinstr_replacement (if anything it ought to > simply be part of .text.init). Otherwise fine.
You mean .init.text. Brian had it there in his original version. Out of
curiosity, why don't you want it in .altinstr_replacement? To avoid any
mixup?
--
Regards/Gruss,
Boris.
ECO tip #101: Trim your mails when you reply.

