@@ -2594,7 +2594,7 @@ int xc_get_cpu_levelling_caps(xc_interface *xch, uint32_t *caps);
int xc_get_cpu_featureset(xc_interface *xch, uint32_t index,
uint32_t *nr_features, uint32_t *featureset);
-int xc_get_cpu_policy_size(xc_interface *xch, uint32_t *nr_leaves,
+int xc_cpu_policy_get_size(xc_interface *xch, uint32_t *nr_leaves,
uint32_t *nr_msrs);
int xc_get_system_cpu_policy(xc_interface *xch, uint32_t index,
uint32_t *nr_leaves, xen_cpuid_leaf_t *leaves,
@@ -109,7 +109,7 @@ const uint32_t *xc_get_static_cpu_featuremask(
return masks[mask];
}
-int xc_get_cpu_policy_size(xc_interface *xch, uint32_t *nr_leaves,
+int xc_cpu_policy_get_size(xc_interface *xch, uint32_t *nr_leaves,
uint32_t *nr_msrs)
{
struct xen_sysctl sysctl = {};
@@ -302,7 +302,7 @@ static int xc_cpuid_xend_policy(
goto fail;
}
- rc = xc_get_cpu_policy_size(xch, &nr_leaves, &nr_msrs);
+ rc = xc_cpu_policy_get_size(xch, &nr_leaves, &nr_msrs);
if ( rc )
{
PERROR("Failed to obtain policy info size");
@@ -448,7 +448,7 @@ int xc_cpuid_apply_policy(xc_interface *xch, uint32_t domid, bool restore,
goto out;
}
- rc = xc_get_cpu_policy_size(xch, &nr_leaves, &nr_msrs);
+ rc = xc_cpu_policy_get_size(xch, &nr_leaves, &nr_msrs);
if ( rc )
{
PERROR("Failed to obtain policy info size");
@@ -50,7 +50,7 @@ int write_x86_cpu_policy_records(struct xc_sr_context *ctx)
uint32_t nr_leaves = 0, nr_msrs = 0;
int rc;
- if ( xc_get_cpu_policy_size(xch, &nr_leaves, &nr_msrs) < 0 )
+ if ( xc_cpu_policy_get_size(xch, &nr_leaves, &nr_msrs) < 0 )
{
PERROR("Unable to get CPU Policy size");
return -1;
@@ -462,7 +462,7 @@ int main(int argc, char **argv)
if ( !xch )
err(1, "xc_interface_open");
- if ( xc_get_cpu_policy_size(xch, &max_leaves, &max_msrs) )
+ if ( xc_cpu_policy_get_size(xch, &max_leaves, &max_msrs) )
err(1, "xc_get_cpu_policy_size(...)");
if ( domid == -1 )
printf("Xen reports there are maximum %u leaves and %u MSRs\n",