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);
252 H_GUEST_SET_STATE(uint64 flags,
253 uint64 guestId,
254 uint64 vcpuId,
255 uint64 dataBuffer,
256 uint64 dataBufferSizeInBytes);
313 H_GUEST_RUN_VCPU(uint64 flags,
314 uint64 guestId,
315 uint64 vcpuId,
316 uint64 dataBuffer,
317 uint64 dataBufferSizeInBytes);
352 H_GUEST_DELETE(uint64 flags,
353 uint64 guestId)