Searched refs:vcpu_px_cnt (Results 1 – 1 of 1) sorted by relevance
259 uint8_t vcpu_px_cnt; in dsdt_write_pss() local264 ret = get_vcpu_px_cnt(ctx, vcpu_id, &vcpu_px_cnt); in dsdt_write_pss()268 if (ret || !vcpu_px_cnt) { in dsdt_write_pss()272 vcpu_px_data = malloc(vcpu_px_cnt * sizeof(struct acrn_pstate_data)); in dsdt_write_pss()278 for (i = 0; i < vcpu_px_cnt; i++) { in dsdt_write_pss()289 dsdt_line(" Return (Package (0x%02X)", vcpu_px_cnt); in dsdt_write_pss()292 for (i = 0; i < vcpu_px_cnt; i++) { in dsdt_write_pss()309 if (i == (vcpu_px_cnt - 1)) { in dsdt_write_pss()
Completed in 2 milliseconds