Assertion list for term "stored at struct dvb_frontend.dtv_property_cache".
Results from Ascent++: 1
property (aspect of function) → ReceivesAction → stored at struct dvb_frontend.dtv_property_cache 0.25