s1394_is_normal_addr
else if (s1394_is_normal_addr(hal, addr) == B_TRUE)
boolean_t s1394_is_normal_addr(s1394_hal_t *hal, uint64_t addr);