On 03/09/2012 02:13 PM, Ingo Molnar wrote:> > Make it X86_TRAP_XX, it's both short and correct?> Works for me. -hpa