Instrumented CPU vmx and svm support.
Pay attentioin to the dynamic memory allocation.
Ensure that sqlite3_result_text() in fact copies the whole character array
into own buffers and noes not reuse the provided pointer to the array.
If the latter is true it could create a crash.
Stopped generating makefile.append
for picoQL LKM; it's useless in that case.
KVM instrumentation and additional instrumentation for struct sock.
Removed warning from Ruby code generating lock-unlock
virtual table directives when 'this' keyword is not present.
Work in progress.
Instrumented struct kvm_vcpu_events by
emulating an ioctl call for KVM_GET_VCPU_EVENTS.
Turned on picoQL LKM error reporting and important
notifications logged in the system log by raising the prink
log level at KERN_ERR (local stdio.h); we were using KERN_DEBUG.
{picoQL LKM} Instrumented struct kvm_pit_state.
Hacked inaccessible data structure definitions, that is included them in the DSL
boilerplate area to be able to compile. These are kvm_pit, kvm_kpit_state,
kvm_kpit_channel_state, kvm_io_device and kvm_timer. Work in progress.
Instrumented pit_state gracefully,
that is by holding lock. Instrumented vmx, svm CPU support for KVM VCPU.
Cleaned up. Tests successful.