Searched refs:vcpu_cx_cnt (Results 1 – 1 of 1) sorted by relevance
147 uint8_t vcpu_cx_cnt; in dsdt_write_cst() local152 vcpu_cx_cnt = get_vcpu_cx_cnt(ctx, vcpu_id); in dsdt_write_cst()153 if (!vcpu_cx_cnt) { in dsdt_write_cst()158 vcpu_cx_data = malloc(vcpu_cx_cnt * sizeof(struct acrn_cstate_data)); in dsdt_write_cst()164 for (i = 1; i <= vcpu_cx_cnt; i++) { in dsdt_write_cst()175 dsdt_line(" Return (Package (0x%02X)", vcpu_cx_cnt + 1); in dsdt_write_cst()178 dsdt_line(" 0x%02X,", vcpu_cx_cnt); in dsdt_write_cst()180 for (i = 0; i < vcpu_cx_cnt; i++) { in dsdt_write_cst()202 if (i == (vcpu_cx_cnt - 1)) { in dsdt_write_cst()
Completed in 3 milliseconds