Re: do_undefinstr call sem down_read?