Lines Matching refs:uint64
105 H_GUEST_GET_CAPABILITIES(uint64 flags)
125 H_GUEST_SET_CAPABILITIES(uint64 flags,
126 uint64 capabilitiesBitmap1)
144 H_GUEST_CREATE(uint64 flags,
145 uint64 continueToken);
167 H_GUEST_CREATE_VCPU(uint64 flags,
168 uint64 guestId,
169 uint64 vcpuId);
201 H_GUEST_GET_STATE(uint64 flags,
202 uint64 guestId,
203 uint64 vcpuId,
204 uint64 dataBuffer,
205 uint64 dataBufferSizeInBytes);
248 H_GUEST_SET_STATE(uint64 flags,
249 uint64 guestId,
250 uint64 vcpuId,
251 uint64 dataBuffer,
252 uint64 dataBufferSizeInBytes);
309 H_GUEST_RUN_VCPU(uint64 flags,
310 uint64 guestId,
311 uint64 vcpuId,
312 uint64 dataBuffer,
313 uint64 dataBufferSizeInBytes);
348 H_GUEST_DELETE(uint64 flags,
349 uint64 guestId)