100644 blob b26ff855b2906abe29237f986f5ffa543c0ed0c5	allocman.h
100644 blob 4013d2be9556f2ecd1e04e82e1d2382019efac2b	bootstrap.h
040000 tree d55ce37cabeb9a159078ef8446f9f02bd46550d1	cspace
100644 blob e357cc15f30998401761b4e1b4eb08b471459b2c	cspaceops.h
040000 tree b1c61834a7499c77a48d7397a6ca989c33df2a19	mspace
100644 blob ed40d26d973bdbc1c6e52e200adaef7d116070fe	properties.h
100644 blob 403a057bb6280751d0069a04da85f22dc5a3080f	util.h
040000 tree 4839f08d031700af4c7f61b8ceb53746ba222bff	utspace
100644 blob c93996742ceee1f37beeab35c602129aca73ea3f	vka.h