How to get a list of installed external kernel modules?

view full story

http://unix.stackexchange.com – From the documentation of Linux kernel 3.2 (Documentation/kbuild/modules.txt) === 5. Module Installation Modules which are included in the kernel are installed in the directory: /lib/modules/$(KERNELRELEASE)/kernel/ And external modules are installed in: /lib/modules/$(KERNELRELEASE)/extra/ This implies that if I look into /lib/modules/$(KERNELRELEASE)/extra/ I can find all installed external kernel modules. However, I find that the official Nvidia display driver installs nvidia.ko into /lib/modules/$(KERNELRELEASE)/kernel/drivers/video/. This contradicts the above rule and sugg (HowTos)