Home
last modified time | relevance | path

Searched refs:cx_cnt (Results 1 – 1 of 1) sorted by relevance

/devicemodel/hw/platform/acpi/
A Dacpi_pm.c38 uint64_t cx_cnt; in get_vcpu_cx_cnt() local
40 if (get_vcpu_pm_info(ctx, vcpu_id, ACRN_PMCMD_GET_CX_CNT, &cx_cnt)) { in get_vcpu_cx_cnt()
44 return (uint8_t)cx_cnt; in get_vcpu_cx_cnt()

Completed in 4 milliseconds