This section describes the debugging support for the kernel runtime link editor, which is responsible for loading kernel modules and drivers.
Print the specified modctl, or a table of the active modctl structures in the kernel.
Given the address of a modctl structure, print the module's ELF executable header and section headers.
Print information about the active kernel modules, similar to the output of the /usr/sbin/modinfo command.
Walk the list of active modctl structures in the kernel. This structure is defined in <sys/modctl.h>.