42,43c42,43
< typedef const uint32_t TrapType;
< typedef const uint32_t FaultPriority;
---
> typedef uint32_t TrapType;
> typedef uint32_t FaultPriority;
549a550
> void invoke(ThreadContext * tc);
579a581
> void invoke(ThreadContext * tc);