struct interrupt_level_highMarker

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