From 0c187b6ff97f91c41dab65a6426dc61f77305cdf Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Sun, 20 Aug 2023 15:44:41 +0200 Subject: Import dssp5 Signed-off-by: Dominick Grift --- src/anoninode/uffdanoninode.cil | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 src/anoninode/uffdanoninode.cil (limited to 'src/anoninode/uffdanoninode.cil') diff --git a/src/anoninode/uffdanoninode.cil b/src/anoninode/uffdanoninode.cil new file mode 100644 index 0000000..d4dffc6 --- /dev/null +++ b/src/anoninode/uffdanoninode.cil @@ -0,0 +1,41 @@ +;; SPDX-FileCopyrightText: © 2023 Dominick Grift +;; SPDX-License-Identifier: Unlicense + +(block uffd + + (blockinherit anon_inode.template) + + (block anon_inode + + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) + + (typeattribute typeattr) + + (blockinherit .anon_inode.all_macro_template_anon_inodes) + + (call .anon_inode.type (typeattr)) + + (block base_template + + (blockabstract base_template) + + (blockinherit .anon_inode.base_template) + + (call .uffd.anon_inode.type (anon_inode))) + + (block template + + (macro self_type_transition_anon_inode ((type ARG1)) + (call self_type_transition + (ARG1 anon_inode "[userfaultfd]"))) + + (blockabstract template) + + (blockinherit .anon_inode.macro_template_anon_inodes) + + (blockinherit .uffd.anon_inode.base_template)))) + +(in anon_inode.unconfined + + (call .uffd.self_type_transition_anon_inode (typeattr))) -- cgit v1.2.3