Source: https://ocw.unican.es/pluginfile.php/2776/course/section/2568/2.%20Virtualizing%20CPU%282%29.pdf