flask: drop dead compat translation code
authorJan Beulich <jbeulich@suse.com>
Fri, 4 Sep 2020 09:14:28 +0000 (11:14 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 4 Sep 2020 09:14:28 +0000 (11:14 +0200)
commit7dcf89d9ec96254f69744ab6d91e8af13f4cda83
tree3da0d1669706c3f40129ba4601a0818b80590778
parent696c273f3d9a169911308fb7e0a702a3eb6a150d
flask: drop dead compat translation code

Translation macros aren't used (and hence needed) at all (or else a
devicetree_label entry would have been missing), and userlist has been
removed quite some time ago.

No functional change.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
xen/include/xlat.lst
xen/xsm/flask/flask_op.c