Re: Header symbols that shouldn't be visible to ports?

On Tue, Sep 06, 2022 at 10:36:52AM -0600, Alan Somers wrote: > On Tue, Sep 6, 2022 at 9:07 AM Warner Losh wrote: > > > > > > > > On Tue, Sep 6, 2022 at 7:34 AM Konstantin Belousov > > wrote: > >> > >> On Mon, Sep 05, 2022 at 08:41:58AM -0600, Alan Somers wrote: > >> > On Sat, Sep 3, 2022 at 11:1

Re: Header symbols that shouldn't be visible to ports?

On Tue, Sep 6, 2022 at 9:07 AM Warner Losh wrote: > > > > On Tue, Sep 6, 2022 at 7:34 AM Konstantin Belousov > wrote: >> >> On Mon, Sep 05, 2022 at 08:41:58AM -0600, Alan Somers wrote: >> > On Sat, Sep 3, 2022 at 11:10 PM Konstantin Belousov >> > wrote: >> > > >> > > On Sat, Sep 03, 2022 at 10

Re: Header symbols that shouldn't be visible to ports?

On Tue, Sep 6, 2022 at 7:34 AM Konstantin Belousov wrote: > On Mon, Sep 05, 2022 at 08:41:58AM -0600, Alan Somers wrote: > > On Sat, Sep 3, 2022 at 11:10 PM Konstantin Belousov > wrote: > > > > > > On Sat, Sep 03, 2022 at 10:19:12AM -0600, Alan Somers wrote: > > > > Our /usr/include headers defi

Re: Header symbols that shouldn't be visible to ports?

On Mon, Sep 05, 2022 at 08:41:58AM -0600, Alan Somers wrote: > On Sat, Sep 3, 2022 at 11:10 PM Konstantin Belousov > wrote: > > > > On Sat, Sep 03, 2022 at 10:19:12AM -0600, Alan Somers wrote: > > > Our /usr/include headers define a lot of symbols that are used by > > > critical utilities in the