/* For use in guest OSes. */