[PATCH] fix misannotation in ioc4.h