add annotation for notify.c
add annotation for migrate