sx_downgrade_
void sx_downgrade_(struct sx *sx, const char *file, int line);
#define sx_downgrade(sx) sx_downgrade_((sx), LOCK_FILE, LOCK_LINE)
sx_downgrade_(&map->lock, file, line);