100644 blob 42b1958547e296b34c9742dbd0e64c88906ac7af	capops.h
100644 blob beebbb318c67d78687c121dc05133b2fca994f08	cspacepath_t.h
100644 blob 0146b8354f9f6163ec43e5c2824fbb4885366d0e	debug-vka.h
100644 blob 3156280217930ce5c56d87b76b434b77409cbec0	ipcbuffer.h
100644 blob 370bc8dcbedcc94b14a4f75c031f6b2368aba3c4	kobject_t.h
100644 blob 34a2f8a8046cc5fff9f3cfb7ed10271136d19095	null-vka.h
100644 blob b7665d8962eaf8201fc50b0e89b44faa7669a18c	object.h
100644 blob 3e1f66839697964ff6389ff751c5ec1ba6e47b91	object_capops.h
100644 blob 542c7cde10a3caf9f834576a931d97e509dbb015	vka.h