kvm_getfiles
char *kvm_getfiles(kvm_t *, int, int, int *);
filebuf = (char *)kvm_getfiles(get_kvmd(), KERN_FILE,