path: root/src/hpa_dco.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-4/+10
* Fix for HPA and DCO detection (again)Christophe Grenier2011-03-051-4/+8
* Code cleanupChristophe Grenier2009-10-251-1/+1
* Fix HPA/DCO detection for some big disks (ie 1.5TB)Christophe Grenier2009-09-031-28/+54
* Fix for Device Configuration Overlay detection when LBA48 isn't enabledChristophe Grenier2009-08-201-6/+12
* Fix sign/unsigness problemChristophe Grenier2009-03-221-1/+1
* code cleanup: remove unused verbose parameter to disk_get_hpa_dco()Christophe Grenier2009-03-061-2/+2
* Fix some compilation warningsChristophe Grenier2009-02-031-4/+0
* Additional tests for device configuration identify (DCO) resultsChristophe Grenier2008-11-101-8/+19
* Store hpa and dco values in the disk internal structureChristophe Grenier2008-10-071-17/+15
* Linux version: log Host Protect Area (HPA) and Device Configuration Overlay (...Christophe Grenier2008-10-061-0/+311