Hi KyleChen-4627,
You can download the i8042prt.sys file from opendll and it's the Microsoft PS/2 Port driver. You can find more information about this file here:
https://learn.microsoft.com/en-us/windows-hardware/drivers/hid/ps-2--i8042prt--driver
The DVL file used for testing needs to be generated by either running "msbuild /t:dvl" on the driver project, or through the "Create Driver Verification Log..." option in the Visual Studio Extensions->Driver menu.
When running Static Driver Verifier, a partial DVL log is generated in the SDV subfolder which should not be used, as it is incomplete and will cause this error.
If you used that partial log, please generate a full DVL through MSBuild or Visual Studio and use that for the test.
More information can be read here:
----------------------------------------------------------------------------------------------------------------------------------
--If the reply is helpful, please Upvote and Accept as answer--