get_vcpu_cx_cnt (reference) in projects: devicemodel

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

/devicemodel/hw/platform/acpi/
A D	acpi_pm.c	`36 uint8_t get_vcpu_cx_cnt(struct vmctx *ctx, int vcpu_id) in get_vcpu_cx_cnt() function 152 vcpu_cx_cnt = get_vcpu_cx_cnt(ctx, vcpu_id); in dsdt_write_cst()`

Completed in 3 milliseconds