Lines Matching defs:uint64_t
39 uint64_t
40 hcall_tpm_get(uint64_t locality, uint64_t offset, uint64_t size,
41 uint64_t *value)
47 uint64_t
48 hcall_tpm_put(uint64_t locality, uint64_t offset, uint64_t size,
49 uint64_t value)
57 * hcall_tpm_get(uint64_t locality, uint64_t offset, uint64_t size,
58 * uint64_t *value)
70 * uint64_t
71 * hcall_tpm_put(uint64_t locality, uint64_t offset, uint64_t size,
72 * uint64_t value)