100644 blob c146357c42f97c1a46823aa6c5c2d72e7f756261	capops.h
100644 blob f095b19631bd7fa872453d2c34db59ebff26fcbd	cspacepath_t.h
100644 blob 46d0d47ee45f8af933efc06459dceaeae4789200	debug-vka.h
100644 blob 81d23b632acded0968f0236f333833f9facaadbf	ipcbuffer.h
100644 blob 5c1b5eb67695daa9c2653328e0d3724aa6019e6c	kobject_t.h
100644 blob 71d1ef3b458dae5c8cf38d16c7536af51798d08b	null-vka.h
100644 blob 3ac61d5eec54c3ebab56ae8ff3ea298cfc359cbe	object.h
100644 blob 9a9ac8a3eba6cd689d6ef1b1cd6207f029faa615	object_capops.h
100644 blob 651995e231da206825be1a641404ed92c309c65b	vka.h