pipe: make account_pipe_buffers() return a value, and use it
[cascardo/linux.git] / Documentation / tpm /
drwxr-xr-x   ..
-rw-r--r-- 2985 tpm_vtpm_proxy.txt
-rw-r--r-- 4388 xen-tpmfront.txt