Read from keyboard
Return from system call
More if page faults to bring in memory, etc
Shadow page table
Guest OS only knows about guest page table
switch(): Back to user mode
32-bit x86: Every time you change PT ptr or invalide TLB, you gotta flush the whole TLB