in class xv6 alarm