Searched refs:CPUID_SGX_EPC_HIGH_MASK (Results 1 – 3 of 3) sorted by relevance
15 #define CPUID_SGX_EPC_HIGH_MASK 0x000FFFFFU macro
31 *base = (((uint64_t)ebx & CPUID_SGX_EPC_HIGH_MASK) << 32U) | in get_epc_section()33 *size = (((uint64_t)edx & CPUID_SGX_EPC_HIGH_MASK) << 32U) | in get_epc_section()
226 entry.ebx = (uint32_t)(maps[0].gpa >> 32U) & CPUID_SGX_EPC_HIGH_MASK; in set_vcpuid_sgx()228 entry.edx = (uint32_t)(size >> 32U) & CPUID_SGX_EPC_HIGH_MASK; in set_vcpuid_sgx()
Completed in 4 milliseconds