tools/kvm/kvmi/kvmi-test: use kvmi_get_maximum_gfn()

Signed-off-by: Adalbert Lazăr <[email protected]>

tools/kvm/kvmi/kvmi-test.c

@@ -284,6 +284,7 @@ static void pause_vm( void *dom )
 
 static int new_guest( void *dom, unsigned char ( *uuid )[16], void *ctx )
 {
+	unsigned long long max_gfn;
 	int k;
 
 	printf( "New guest: " );
@@ -295,6 +296,11 @@ static int new_guest( void *dom, unsigned char ( *uuid )[16], void *ctx )
 
 	pause_vm( dom );
 
+	if ( kvmi_get_maximum_gfn( dom, &max_gfn ) )
+		die( "kvmi_get_maximum_gfn" );
+
+	printf( "Max gfn: 0x%llx\n", max_gfn );
+
 	Dom = dom;
 
 	return 0;