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