summaryrefslogtreecommitdiffstats
path: root/src/hpa_dco.h
Commit message (Expand)AuthorAgeFilesLines
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+4
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* code cleanup: remove unused verbose parameter to disk_get_hpa_dco()Christophe Grenier2009-03-061-1/+1
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+8
* Linux version: log Host Protect Area (HPA) and Device Configuration Overlay (...Christophe Grenier2008-10-061-0/+22