System V: control, publication state, coordinate, private decision word,
publication extent, unused. Return one to invoke acquisition (including an
exclusion), zero on refusal. The private decision is 0/1, or explicit refusal
4. Counter and lifetime checks precede source-operand evaluation in the VM.
151def policyX86SetWord =
152 (lambda unrestricted register : (family X86NativeRegister64) .
153 (lambda unrestricted value : Nat .
154 (digestEmit
155 (constructor
156 X86NativeInstruction
157 X86NativeMoveImmediate64
158 register
159 (x86NativeImmediate64FromNatural value)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.