std_svc/rmmd/rmmd_private.h

42 	uint64_t c_rt_ctx;
43 	uint64_t activation_token;
48 uint64_t rmmd_rmm_sync_entry(rmmd_rmm_context_t *ctx);
49 __dead2 void rmmd_rmm_sync_exit(uint64_t rc);
52 int rmmd_attest_get_platform_token(uint64_t buf_pa, uint64_t *buf_size,
53 				   uint64_t c_size,
54 				   uint64_t *remaining_len);
55 int rmmd_attest_get_signing_key(uint64_t buf_pa, uint64_t *buf_size,
56 				uint64_t ecc_curve);
57 uint64_t rmmd_el3_token_sign(void *handle, uint64_t x1, uint64_t x2,
58 				    uint64_t x3, uint64_t x4);
61 int rmmd_el3_ide_key_program(uint64_t ecam_address, uint64_t rp_id,
62 			     uint64_t ide_stream_info, rp_ide_key_info_t *ide_key_info_ptr,
63 			     uint64_t request_id, uint64_t cookie);
64 int rmmd_el3_ide_key_set_go(uint64_t ecam_address, uint64_t rp_id, uint64_t ide_stream_info,
65 			    uint64_t request_id, uint64_t cookie);
66 int rmmd_el3_ide_key_set_stop(uint64_t ecam_address, uint64_t rp_id, uint64_t ide_stream_info,
67 			      uint64_t request_id, uint64_t cookie);
68 int rmmd_el3_ide_km_pull_response(uint64_t ecam_address, uint64_t rp_id, uint64_t *req_resp,
69 				  uint64_t *request_id, uint64_t *cookie_ptr);
72 int rmmd_reserve_memory(size_t size, uint64_t *arg);
75 uint64_t rmmd_rmm_enter(uint64_t *c_rt_ctx);
76 void __dead2 rmmd_rmm_exit(uint64_t c_rt_ctx, uint64_t ret);