1type dump_gsc, domain;
2type dump_gsc_exec, exec_type, vendor_file_type, file_type;
3domain_auto_trans(hal_dumpstate_default, dump_gsc_exec, dump_gsc)
4hal_client_domain(dump_gsc, hal_dumpstate)
5
6allow dump_gsc dumpstate:fd use;
7allow dump_gsc dumpstate:fifo_file { write getattr };
8allow dump_gsc shell_data_file:file { write getattr };
9allow dump_gsc citadel_updater:file execute_no_trans;
10allow dump_gsc citadeld_service:service_manager find;
11binder_call(dump_gsc, citadeld)
12vndbinder_use(dump_gsc)
13