LFS_MAX_DADDR
KASSERT(daddr <= LFS_MAX_DADDR(fs));
(0 <= daddr0 && daddr0 <= LFS_MAX_DADDR(fs)));
(0 <= daddr1 && daddr1 <= LFS_MAX_DADDR(fs)));