74c74
< FaultName DtbPageFault::_name = "dfault";
---
> FaultName DtbPageFault::_name = "dtb_page_fault";
78c78
< FaultName DtbAcvFault::_name = "dfault";
---
> FaultName DtbAcvFault::_name = "dtb_acv_fault";