1.1 --- a/xen/arch/ia64/xen/dom_fw.c	Fri Mar 31 14:03:07 2006 -0700
     1.2 +++ b/xen/arch/ia64/xen/dom_fw.c	Fri Mar 31 14:04:16 2006 -0700
     1.3 @@ -157,13 +157,17 @@ sal_emulator (long index, unsigned long 
     1.4  		printf("*** CALLED SAL_SET_VECTORS.  IGNORED...\n");
     1.5  		break;
     1.6  	    case SAL_GET_STATE_INFO:
     1.7 -		printf("*** CALLED SAL_GET_STATE_INFO.  IGNORED...\n");
     1.8 +		/* No more info.  */
     1.9 +		status = -5;
    1.10 +		r9 = 0;
    1.11  		break;
    1.12  	    case SAL_GET_STATE_INFO_SIZE:
    1.13 -		printf("*** CALLED SAL_GET_STATE_INFO_SIZE.  IGNORED...\n");
    1.14 +		/* Return a dummy size.  */
    1.15 +		status = 0;
    1.16 +		r9 = 128;
    1.17  		break;
    1.18  	    case SAL_CLEAR_STATE_INFO:
    1.19 -		printf("*** CALLED SAL_CLEAR_STATE_INFO.  IGNORED...\n");
    1.20 +		/* Noop.  */
    1.21  		break;
    1.22  	    case SAL_MC_RENDEZ:
    1.23  		printf("*** CALLED SAL_MC_RENDEZ.  IGNORED...\n");