10:39:58 <yuripv> rmustacc: hi, if I want to use avl_* family and kernel mapfiles, which mapfile should I add them to?
16:13:15 <jclulow> I think they're all in "unix" right
16:13:56 <jclulow> Oh maybe not
16:13:59 <jclulow> genunix I guerss
16:14:02 <jclulow> *guess
16:15:49 <jbk> since the kernel versions are marked committed, wouldn't ddi.mapfile be the most reasonable place?
16:15:55 <jclulow> no
16:15:57 <jclulow> It's not in the DDI
16:16:16 <jclulow> At least, not according to the manual
16:17:03 <jclulow> I think either kernel.mapfile or create a new avl.mapfile
16:26:45 <yuripv> list_* are in ddi.mapfile, though man page does not say anything about DDI
16:27:13 <yuripv> and that's exactly why i'm asking, i put avl_* into ddi.mapfile, but was wondering if there's a proper place
17:00:37 <gitomat> [illumos-gate] 15748 krb5: the comparison will always evaluate as 'false' -- Toomas Soome <tsoome⊙mc>
17:02:46 <gitomat> [illumos-gate] 16602 usba: unused label -- Toomas Soome <tsoome⊙mc>
17:28:54 <jclulow> yuripv: a fair question!
17:29:53 <jclulow> Well I guess if list_* is in there, avl_* should probably go there too
20:51:47 <richlowe> yuripv, jclulow: "the kernel" is the union of {unix, genunix, platmod?}
20:51:55 <richlowe> what is where is platform dependent
20:52:34 <richlowe> the ddi is nebulous, and probably best you asked rm about, since he did Makefile.mapfiles and knows what he was thinking.
20:53:25 <jbk> heh true.. i mean.. how many drivers actually use nothing but ddi interfaces?