The Twizzler kernel uses both x86_64 and x86 crates for various things, but the current implementation gets more mileage out of the x86 crate, which we probably want to keep just for the MSR encodings. The use of the x86_64 crate, on the other hand, is less prevalent, and we should probably remove it.
The Twizzler kernel uses both x86_64 and x86 crates for various things, but the current implementation gets more mileage out of the x86 crate, which we probably want to keep just for the MSR encodings. The use of the x86_64 crate, on the other hand, is less prevalent, and we should probably remove it.