Lines Matching defs:dpdes
836 * Ensure that the read of vcore->dpdes comes after the read
843 return !!(vc->dpdes & (1 << thr));
1448 unsigned long dpdes;
1451 dpdes = 0;
1460 * which will update its vcore->dpdes value.
1466 dpdes |= 1 << thr;
1468 return dpdes;
1512 vcpu->arch.vcore->dpdes = 0;
2273 * either vcore->dpdes or doorbell_request.
2279 *val = get_reg_val(id, vcpu->arch.vcore->dpdes);
2522 vcpu->arch.vcore->dpdes = set_reg_val(id, *val);