Home
last modified time | relevance | path

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

/devicemodel/hw/platform/acpi/
A Dacpi_pm.c25 static inline int get_vcpu_px_cnt(struct vmctx *ctx, int vcpu_id, uint8_t *px_cnt) in get_vcpu_px_cnt() argument
31 *px_cnt = (uint8_t)px_cnt_u64; in get_vcpu_px_cnt()
365 uint8_t px_cnt; in pm_write_dsdt() local
410 ret = get_vcpu_px_cnt(ctx, i, &px_cnt); in pm_write_dsdt()
411 if (ret == 0 && px_cnt == 0) { in pm_write_dsdt()
443 uint8_t px_cnt; in osc_write_ospm_dsdt() local
446 ret = get_vcpu_px_cnt(ctx, 0, &px_cnt); in osc_write_ospm_dsdt()
447 if (ret == 0 && px_cnt == 0) { in osc_write_ospm_dsdt()

Completed in 4 milliseconds