Searched defs:reg_values (Results 1 – 1 of 1) sorted by relevance
1462 WHV_REGISTER_VALUE reg_values[3]; in whpx_vcpu_pre_run() local1882 WHV_REGISTER_VALUE reg_values[3] = {0}; in whpx_vcpu_run() local1916 WHV_REGISTER_VALUE reg_values[5]; in whpx_vcpu_run() local