use len instead of end_addr in hlt handler