x86::bits64::sgx
pub unsafe fn encls_emodt(secinfo: u64, epc_page: u64) -> u32
Change the Type of an EPC Page.