avic_get_backing_page_address
vmcb->control.avic_backing_page = avic_get_backing_page_address(svm);
new_entry = avic_get_backing_page_address(svm) |
.vapic_addr = avic_get_backing_page_address(to_svm(vcpu)),