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