add print_vmcb_save_area()