US8091090B2 - Method for Providing Scratch Registers for Use by a Virtual-Machine Monitor