NTSTATUS __stdcall DrvDbOpenDriverInfFileRegKey(INT64 *a1, INT64 a2, INT64 a3, CHAR a4, INT64 a5, INT64 a6){
return DrvDbOpenObjectRegKey(
(_DRVDB_CONTEXT *)a1,
0i64,
DRVDB_BASE_KEY_TYPE_DRIVER_INF_FILES,
(WCHAR *)a2,
a3,
a4,
(VOID **)a5,
(UINT64 *)a6);
}