struct device_idMarker

Defined at line 114 of file ../../src/devices/tpm/drivers/tpm/registers.h