Symbol: vcpu_alloc_hyperv_test_pages