Inconsistent with specification here:
[edk2.git] / Nt32Pkg / ResetRuntimeDxe / 
tree0f33af91724b49206619e5910c16a0a91e5cda83
drwxr-xr-x   ..
-rw-r--r-- 1514 ResetRuntimeDxe.inf
-rw-r--r-- 2907 reset.c