memstress_guest_code
void memstress_guest_code(uint32_t vcpu_id);
memstress_guest_code, vcpus);
memstress_guest_code(vcpu_id);