|
From: <sv...@va...> - 2012-07-13 14:13:15
|
florian 2012-07-13 15:13:06 +0100 (Fri, 13 Jul 2012)
New Revision: 2428
Log:
Use vpanic, not vassert, you silly.
Modified files:
trunk/priv/host_s390_isel.c
Modified: trunk/priv/host_s390_isel.c (+1 -1)
===================================================================
--- trunk/priv/host_s390_isel.c 2012-07-13 14:41:41 +01:00 (rev 2427)
+++ trunk/priv/host_s390_isel.c 2012-07-13 15:13:06 +01:00 (rev 2428)
@@ -156,7 +156,7 @@
/* counter is used both as 4-byte and as 8-byte entity */
case S390X_GUEST_OFFSET(guest_counter)+1 ... S390X_GUEST_OFFSET(guest_counter)+3:
case S390X_GUEST_OFFSET(guest_counter)+5 ... S390X_GUEST_OFFSET(guest_counter)+7:
- vassert("partial update of this guest state register is not allowed");
+ vpanic("partial update of this guest state register is not allowed");
break;
default: break;
|