203c203
< typedef M5_auxv_t<uint64_t> auxv_t;
---
> typedef AuxVector<uint64_t> auxv_t;