>> Minor nit: Can't you directly do >> >> kunmap(page); >> nested_release_page_clean(page); >> >> at this point? >> >> We can fix this up later. > > You actually can do simply kvm_vcpu_read_guest_page(vcpu, > vmcs12->eptp_list_address >> PAGE_SHIFT, &address, index * 8, 8). > Fascinating how nested is able to confuse me every time :) . Sure, this is just a G1 address, not a G2 address ... (maybe we should rename nested_get_page to guest_get_page ...) > Paolo > -- Thanks, David
