| Type: | Map[int,int] |
| mapping from int to int | |
| Name: | VCPUs_CPU |
| VCPU to PCPU map |
Accessors
-
Map[int,int]
get_VCPUs_CPU
(session session_id, VM_metrics self)
Get the VCPUs/CPU field of the given VM_metrics.