Annotation of xv6.