Second level address translation is used to create a mapping between
guest addresses and host addresses. In order to allow passthru of
mmio devices like a TPM, we need to modify the SLAT. Therefore,
add an ioctl for several modifications of the SLAT.
Note: You can take a look at https://github.com/Beckhoff/freebsd-src/commits/phab/corvink/vm_modify_slat