Lines Matching defs:uint64_t
39 uint64_t
40 hv_service_recv(uint64_t s_id, uint64_t buf_pa, uint64_t size,
41 uint64_t *recv_bytes)
45 uint64_t
46 hv_service_send(uint64_t s_id, uint64_t buf_pa, uint64_t size,
47 uint64_t *send_bytes)
51 uint64_t
52 hv_service_getstatus(uint64_t s_id, uint64_t *vreg)
56 uint64_t
57 hv_service_setstatus(uint64_t s_id, uint64_t bits)
61 uint64_t
62 hv_service_clrstatus(uint64_t s_id, uint64_t bits)
68 * hv_service_recv(uint64_t s_id, uint64_t buf_pa,
69 * uint64_t size, uint64_t *recv_bytes);
88 * hv_service_send(uint64_t s_id, uint64_t buf_pa,
89 * uint64_t size, uint64_t *recv_bytes);
108 * hv_service_getstatus(uint64_t s_id, uint64_t *vreg);
122 * hv_service_setstatus(uint64_t s_id, uint64_t bits);
132 * hv_service_clrstatus(uint64_t s_id, uint64_t bits);