Use correct type in __DEVOLATILE().