9.123 nvmm_vcpu_dump ¶

int nvmm_vcpu_dump(int machine_id, int cpu_id, void *dump_addr);

This syscall makes the VCPU dump local state into a memory window, and returns 0 on success, or -1 on failure.