githubchik

Thanks rommelsv for posting the patch. I tried it but am getting the following compile errors while building zsim: build/opt/virt/patchdefs.h: In function ‘void VirtInit()’: build/opt/virt/patchdefs.h:41:4: error: ‘SYS_getcpu’ was not declared...