*mac = vmac(NULL, 0, nonce, NULL, &ctx);
- printk("MAC for domains is: 0x%08"PRIx64"\n", *mac);
-
/* wipe ctx to ensure key is not left in memory */
memset(&ctx, 0, sizeof(ctx));
}
}
*mac = vmac(NULL, 0, nonce, NULL, &ctx);
- printk("MAC for xenheap is: 0x%08"PRIx64"\n", *mac);
-
/* wipe ctx to ensure key is not left in memory */
memset(&ctx, 0, sizeof(ctx));
}
*mac = vmac(NULL, 0, nonce, NULL, &ctx);
- printk("MAC for frametable is: 0x%08"PRIx64"\n", *mac);
-
/* wipe ctx to ensure key is not left in memory */
memset(&ctx, 0, sizeof(ctx));
}
/* need to do these in reverse order of shutdown */
tboot_gen_xenheap_integrity(g_tboot_shared->s3_key, &mac);
+ printk("MAC for xenheap before S3 is: 0x%08"PRIx64"\n", xenheap_mac);
+ printk("MAC for xenheap after S3 is: 0x%08"PRIx64"\n", mac);
if ( mac != xenheap_mac )
return -1;
tboot_gen_frametable_integrity(g_tboot_shared->s3_key, &mac);
+ printk("MAC for frametable before S3 is: 0x%08"PRIx64"\n", frametable_mac);
+ printk("MAC for frametable after S3 is: 0x%08"PRIx64"\n", mac);
if ( mac != frametable_mac )
return -2;
tboot_gen_domain_integrity(g_tboot_shared->s3_key, &mac);
+ printk("MAC for domains before S3 is: 0x%08"PRIx64"\n", domain_mac);
+ printk("MAC for domains after S3 is: 0x%08"PRIx64"\n", mac);
if ( mac != domain_mac )
return -3;