uint64_t cbm)
{
GC_INIT(ctx);
+ BUILD_BUG_ON(sizeof(libxl_psr_cbm_type) != sizeof(xc_psr_cat_type));
int rc;
int socketid, nr_sockets;
libxl_for_each_set_bit(socketid, *target_map) {
if (socketid >= nr_sockets)
break;
- if (xc_psr_cat_set_domain_data(ctx->xch, domid, type, socketid, cbm)) {
+ if (xc_psr_cat_set_domain_data(ctx->xch, domid, (xc_psr_cat_type)type,
+ socketid, cbm)) {
libxl__psr_cat_log_err_msg(gc, errno);
rc = ERROR_FAIL;
}
GC_INIT(ctx);
int rc = 0;
- if (xc_psr_cat_get_domain_data(ctx->xch, domid, type, target, cbm_r)) {
+ if (xc_psr_cat_get_domain_data(ctx->xch, domid, (xc_psr_cat_type)type,
+ target, cbm_r)) {
libxl__psr_cat_log_err_msg(gc, errno);
rc = ERROR_FAIL;
}