What is the Virtuallbox guest additions kernel module called?

I installed Virtualbox 6.0 on my laptop which is UEFI with SecureBoot enabled, so I had the added complication of having to sign the kernel modules, which I identified as:

  • vboxdrv
  • vboxnetadp
  • vboxnetflt
  • vboxpci

However I overlooked the fact that the guest additions is also a kernel module and has to be signed, seems strange that I can’t seem to find something as simple as the module name, which I am guessing is vboxguest?

so I can sign it with:

sudo /usr/src/linux-headers-$  (uname -r)/scripts/sign-file sha256 ./MOK.priv ./MOK.der $  (modinfo -n vboxguest) 

Yes?