|  | @@ -245,9 +245,8 @@ static int hv_map_hypercall ( struct hv_hypervisor *hv ) {
 | 
		
	
		
			
			| 245 | 245 |  	/* Report guest OS identity */
 | 
		
	
		
			
			| 246 | 246 |  	guest_os_id = rdmsr ( HV_X64_MSR_GUEST_OS_ID );
 | 
		
	
		
			
			| 247 | 247 |  	if ( guest_os_id != 0 ) {
 | 
		
	
		
			
			| 248 |  | -		DBGC ( hv, "HV %p guest OS ID MSR already set to %#08llx\n",
 | 
		
	
		
			
			|  | 248 | +		DBGC ( hv, "HV %p guest OS ID MSR was %#08llx\n",
 | 
		
	
		
			
			| 249 | 249 |  		       hv, guest_os_id );
 | 
		
	
		
			
			| 250 |  | -		return -EBUSY;
 | 
		
	
		
			
			| 251 | 250 |  	}
 | 
		
	
		
			
			| 252 | 251 |  	guest_os_id = HV_GUEST_OS_ID_IPXE;
 | 
		
	
		
			
			| 253 | 252 |  	DBGC2 ( hv, "HV %p guest OS ID MSR is %#08llx\n", hv, guest_os_id );
 |