Update addrspace.h

much fixes