var classL4Re_1_1Vfs_1_1Generic__file =
[
    [ "Ready_type", "classL4Re_1_1Vfs_1_1Generic__file.html#ac2d79d9ed8c826b28e1abd98bc1659f9", null ],
    [ "check_ready", "classL4Re_1_1Vfs_1_1Generic__file.html#addbfcce2d915bf9e8ce6716c3bfe6114", null ],
    [ "fchmod", "classL4Re_1_1Vfs_1_1Generic__file.html#a4a93bdb9bc1a4627d8c23b438a0dfb73", null ],
    [ "fstat", "classL4Re_1_1Vfs_1_1Generic__file.html#a54cf0ebb0d6e60f34efb9576ff9bd8df", null ],
    [ "get_status_flags", "classL4Re_1_1Vfs_1_1Generic__file.html#afd9d4ab781c72f182725282d920eebf1", null ],
    [ "set_status_flags", "classL4Re_1_1Vfs_1_1Generic__file.html#ab75e94708610d22be8b8bb98ca4c54c8", null ],
    [ "unlock_all_locks", "classL4Re_1_1Vfs_1_1Generic__file.html#a211d21f1abee9808536db81b5a870baa", null ]
];