diff options
-rw-r--r-- | src/cpu/x86/sipi_vector.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cpu/x86/sipi_vector.S b/src/cpu/x86/sipi_vector.S index 1abf3f5d3b..b40ea76f76 100644 --- a/src/cpu/x86/sipi_vector.S +++ b/src/cpu/x86/sipi_vector.S @@ -132,7 +132,7 @@ _start: jnz microcode_done /* Determine if parallel microcode loading is allowed. */ - cmp $0xffffffff, microcode_lock + cmpl $0xffffffff, microcode_lock je load_microcode /* Protect microcode loading. */ @@ -153,7 +153,7 @@ load_microcode: popa /* Unconditionally unlock microcode loading. */ - cmp $0xffffffff, microcode_lock + cmpl $0xffffffff, microcode_lock je microcode_done xor %eax, %eax |