Palacios Public Git Repository
To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the
devel branch or one of the release branches. To switch to the devel
branch, simply execute
cd palacios
git checkout --track -b devel origin/devel
The other branches are similar.
Kyle Hale [Sun, 6 Sep 2015 23:28:08 +0000 (18:28 -0500)]
uint_t mce : 1;
uint_t pge : 1;
uint_t pce : 1;
- uint_t osf_xsr : 1;
- uint_t osx : 1;
- uint_t rsvd1 : 21;
+ uint_t os_fxsr : 1;
+ uint_t osxmmexcpt : 1;
+ uint_t rsvd0 : 5;
+ uint_t fsgsbase : 1;
+ uint_t rsvd1 : 1;
+ uint_t osxsave : 1;
+ uint_t rsvd2 : 13;
} __attribute__((packed));
struct cr4_64 {
uint_t mce : 1;
uint_t pge : 1;
uint_t pce : 1;
- uint_t osf_xsr : 1;
- uint_t osx : 1;
- uint_t rsvd1 : 21;
- uint_t rsvd2 : 32;
+ uint_t os_fxsr : 1;
+ uint_t osxmmexcpt : 1;
+ uint_t rsvd0 : 5;
+ uint_t fsgsbase : 1;
+ uint_t rsvd1 : 1;
+ uint_t osxsave : 1;
+ uint_t rsvd2 : 13;
+ uint_t rsvd3 : 32;
} __attribute__((packed));