#include <Library/BaseLib.h>\r
#include <Library/BaseMemoryLib.h>\r
#include <Library/UefiBootServicesTableLib.h>\r
-#include <Library/TimerLib.h>\r
#include <Protocol/Rng.h>\r
\r
#include "RngDxeInternals.h"\r
{\r
EFI_STATUS Status;\r
\r
- if ((RNGValueLength == 0) || (RNGValue == NULL)) {\r
+ if ((This == NULL) || (RNGValueLength == 0) || (RNGValue == NULL)) {\r
return EFI_INVALID_PARAMETER;\r
}\r
\r
#include <Library/BaseMemoryLib.h>\r
#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/RngLib.h>\r
-#include <Library/TimerLib.h>\r
#include <Protocol/Rng.h>\r
\r
#include "RngDxeInternals.h"\r
}\r
\r
/**\r
- Calls RDRAND to fill a buffer of arbitrary size with random bytes.\r
+ Runs CPU RNG instruction to fill a buffer of arbitrary size with random bytes.\r
\r
@param[in] Length Size of the buffer, in bytes, to fill with.\r
@param[out] RandBuffer Pointer to the buffer to store the random result.\r