Files: /kernel/x86_64/guest-halt-polling.html