Remove declaration of set_register_cache from regdef.h