## Basic filesystem types and interfaces. ######################################## ## ## Read all tmpfs files. ## ## ## ## Domain allowed access. ## ## # interface(`files_read_all_tmpfs_files', ` gen_require(` attribute tmpfsfile; ') read_files_pattern($1, tmpfsfile, tmpfsfile) fs_search_tmpfs($1) ')