Removed unused sockfd_lookup()
and implemented function file_fd().
Removed sk_buff data structure iteration.
using spinlock and the respective lock definition
and the respective test query. Removed unused MUTEX lock definition.
File descriptor table instrumentation
through files_fdtable() call.
Tests successful.
struct kvm additional field instrumentation
and KVM_View definition.
Tests successful.
KVM_VCPU_View definition and precise KVM_View definition.
Sane checks by check_kvm() and check_kvm_vcpu().
The same goes for is_kvm_file() and is_kvm_vcpu_file().
File user ownership credentials instrumentation.
File offset and page offset are in fact of type long
(SQL's BIGINT). The same goes for inode_size_bytes
and inode_size_pages. page cache instrumentation now
seems sane. Tests successful.