tpm: Store devname in the tpm_chip
[cascardo/linux.git] / Documentation / arm64 /
drwxr-xr-x   ..
-rw-r--r-- 5811 booting.txt
-rw-r--r-- 3540 memory.txt
-rw-r--r-- 1539 tagged-pointers.txt