100644 blob b04c5359df6198034b43564c796b0d08a10ed77b	capops.h
100644 blob beebbb318c67d78687c121dc05133b2fca994f08	cspacepath_t.h
100644 blob 0146b8354f9f6163ec43e5c2824fbb4885366d0e	debug-vka.h
100644 blob 95684ad6fd9cda2f9851c8d469a52bb984db3c78	ipcbuffer.h
100644 blob 6b6f9c58dcd4e1edf7fd51d06b3a5a43efaa3e82	kobject_t.h
100644 blob 34a2f8a8046cc5fff9f3cfb7ed10271136d19095	null-vka.h
100644 blob 56c477d1a81cc4f15194a87aba2a2ff3e02a10f4	object.h
100644 blob 3e1f66839697964ff6389ff751c5ec1ba6e47b91	object_capops.h
100644 blob 48c767a139bf0563a7e05a4c82e5b96a61c050dd	vka.h