xref: /hardware/google/pixel-sepolicy/citadel/device.te

type citadel_device, dev_type;