diff options
| -rw-r--r-- | executor/common_kvm_amd64.h | 2 | ||||
| -rw-r--r-- | pkg/csource/generated.go | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/executor/common_kvm_amd64.h b/executor/common_kvm_amd64.h index 666bf5e3c..a8173b9b3 100644 --- a/executor/common_kvm_amd64.h +++ b/executor/common_kvm_amd64.h @@ -208,7 +208,7 @@ static void setup_32bit_idt(struct kvm_sregs* sregs, char* host_mem, uintptr_t g gate.type = 15; gate.base = SEL_CS32; break; - case 6: + case 5: // 32-bit task gate gate.type = 11; gate.base = SEL_TGATE32; diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index 8bc0324a9..3607b4797 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -5651,7 +5651,7 @@ static void setup_32bit_idt(struct kvm_sregs* sregs, char* host_mem, uintptr_t g gate.type = 15; gate.base = SEL_CS32; break; - case 6: + case 5: gate.type = 11; gate.base = SEL_TGATE32; break; |