See kvm_setup_gdt() at https://github.com/torvalds/linux/blob/c00c5e1d157bec0ef0b0b59aa5482eb8dc7e8e49/tools/testing/selftests/kvm/lib/x86_64/processor.c