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
1113 enclave_start_req.enclave_cid = enclave_start_info->enclave_cid; in ne_start_enclave_ioctl()1129 enclave_start_info->enclave_cid = cmd_reply.enclave_cid; in ne_start_enclave_ioctl()1316 if (enclave_start_info.enclave_cid > 0 && in ne_enclave_ioctl()1317 enclave_start_info.enclave_cid <= VMADDR_CID_HOST) { in ne_enclave_ioctl()1324 if (enclave_start_info.enclave_cid == U32_MAX) { in ne_enclave_ioctl()1334 if (enclave_start_info.enclave_cid == NE_PARENT_VM_CID) { in ne_enclave_ioctl()1342 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()