Gilles Peskine 5ec3a30edb SE driver: validate_slot_number: support changing persistent data
Add a parameter to the p_validate_slot_number method to allow the
driver to modify the persistent data.

With the current structure of the core, the persistent data is already
updated. All it took was adding a way to modify it.
2019-10-01 14:27:23 +02:00
..
2019-08-09 10:22:32 +01:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2018-06-11 13:10:14 +01:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00