Re: how does x86_DEBUG_STATE64 work