K 10 svn:author V 4 neel K 8 svn:date V 27 2013-07-10T04:59:10.385331Z K 7 svn:log V 128 Tidy up the vm_run() function by splitting the in-kernel handling of guest 'hlt' and 'paging' vm exits into separate functions. END