how does x86_DEBUG_STATE64 work