Searched refs:enclave_cid (Results 1 – 4 of 4) sorted by relevance
155 u64 enclave_cid; member164 u64 enclave_cid; member268 u64 enclave_cid; member
1110 enclave_start_req.enclave_cid = enclave_start_info->enclave_cid; in ne_start_enclave_ioctl()1126 enclave_start_info->enclave_cid = cmd_reply.enclave_cid; in ne_start_enclave_ioctl()1313 if (enclave_start_info.enclave_cid > 0 && in ne_enclave_ioctl()1314 enclave_start_info.enclave_cid <= VMADDR_CID_HOST) { in ne_enclave_ioctl()1321 if (enclave_start_info.enclave_cid == U32_MAX) { in ne_enclave_ioctl()1331 if (enclave_start_info.enclave_cid == NE_PARENT_VM_CID) { in ne_enclave_ioctl()1339 if (enclave_start_info.enclave_cid > U32_MAX) { in ne_enclave_ioctl()
356 __u64 enclave_cid; member
694 printf("Enclave started, CID %llu\n", enclave_start_info.enclave_cid); in ne_start_enclave_check_booted()