x86-specific bit structures
We define some bitstructures using defbitstruct to describe the fields of registers and x86 data structures.