Lines Matching refs:UINT64
89 static UINT64
94 UINT64 countValue;
95 _plat__NvMemoryRead(s_maxCountAddr, sizeof(UINT64), &countValue);
106 UINT64 maxCount
109 _plat__NvMemoryWrite(s_maxCountAddr, sizeof(UINT64), &maxCount);
218 // sizeof(UINT64) for counter data
219 return sizeof(TPM_HANDLE) + sizeof(NV_INDEX) + sizeof(UINT64) + sizeof(UINT32);
542 s_evictNvStart = s_maxCountAddr + sizeof(UINT64);
561 UINT64 zeroCounter = 0;
567 _plat__NvMemoryWrite(s_maxCountAddr, sizeof(UINT64), &zeroCounter);
953 UINT64 counter;
1250 UINT64
1255 UINT64 maxCount;
1272 UINT64 countValue;
1316 UINT64 dataInInt;
1353 UINT64 *data // IN: UINT64 pointer for counter or bit
1379 sizeof(UINT64), data);
1698 UINT64 countValue;
1699 UINT64 maxCount;
2071 // It takes an size field, a handle and sizeof(UINT64) for counter data
2072 counterRAMSpace = sizeof(UINT32) + sizeof(TPM_HANDLE) + sizeof(UINT64);