236     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_generic_cb()  argument
251 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_generic_cb()
262     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_system_cb()  argument
277 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_system_cb()
288     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_process_cb()  argument
303 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_process_cb()
314     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_network_cb()  argument
329 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_network_cb()
340     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_machdep_cb()  argument
355 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_machdep_cb()
366     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_device_cb()  argument
381 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_device_cb()
392     void *cookie, void *arg0, void *arg1, void *arg2, void *arg3)  in secmodel_overlay_vnode_cb()  argument
407 		    arg0, arg1, arg2, arg3);  in secmodel_overlay_vnode_cb()