spa_by_guid
return (spa_by_guid(pool_guid, device_guid) != NULL);
extern spa_t *spa_by_guid(uint64_t pool_guid, uint64_t device_guid);
(spa = spa_by_guid(pool_guid, device_guid)) != NULL &&