type cec_device, dev_type;
type vcio_device, dev_type, mlstrustedobject;