100644 blob 8bbf20352ba9aba2fe882ead52decc6b8ca86279	device_region.h
100644 blob 59f28c6dd0f3ebc20908b27bbe2647e86654a9bb	memory_region.h
100644 blob 0f1daf5bb25d532216ba0be9e32e06f78fc8273f	trng.h