EINCVIRTCHILD — Increment VIRTCHILDCNT in SECS
| Opcode/Instruction | Op/En | 64/32 bit Mode Support | CPUID Feature Flag | Description |
|---|---|---|---|---|
| EAX = 01H ENCLV[EINCVIRTCHILD] | IR | V/V | EAX[5] | This leaf function increments the SECS VIRTCHILDCNT field. |
Instruction Operand Encoding ¶
| Op/En | EAX | RBX | RCX | |
| IR | EINCVIRTCHILD (In) | Return error code (Out) | Address of an enclave page (In) | Address of an SECS page (In) |
Description ¶
This instruction increments the SECS VIRTCHILDCNT field. This instruction can only be executed when the current privilege level is 0.
The content of RCX is an effective address of an EPC page. The DS segment is used to create a linear address. Segment override is not supported.
EINCVIRTCHILD Memory Parameter Semantics ¶
| EPCPAGE | SECS |
| Read/Write access permitted by Non Enclave | Read access permitted by Enclave |
The instruction faults if any of the following:
EINCVIRTCHILD Faulting Conditions ¶
| A memory operand effective address is outside the DS segment limit (32b mode). | A page fault occurs in accessing memory operands. |
| DS segment is unusable (32b mode). | RBX does not refer to an enclave page (REG, TCS, TRIM, SECS). |
| A memory address is in a non-canonical form (64b mode). | RCX does not refer to an SECS page. |
| A memory operand is not properly aligned. | RBX does not refer to an enclave page associated with SECS referenced in RCX. |
Concurrency Restrictions ¶
| Leaf | Parameter | Base Concurrency Restrictions | ||
|---|---|---|---|---|
| Access | On Conflict | SGX_CONFLICT VM Exit Qualification | ||
| EINCVIRTCHILD | Target [DS:RBX] | Shared | SGX_EPC_PAGE_ CONFLICT | |
| SECS [DS:RCX] | Concurrent | |||
| Leaf | Parameter | Additional Concurrency Restrictions | |||||
|---|---|---|---|---|---|---|---|
| vs. EACCEPT, EACCEPTCOPY, EMODPE, EMODPR, EMODT | vs. EADD, EEXTEND, EINIT | vs. ETRACK, ETRACKC | |||||
| Access | On Conflict | Access | On Conflict | Access | On Conflict | ||
| EINCVIRTCHILD | Target [DS:RBX] | Concurrent | Concurrent | Concurrent | |||
| SECS [DS:RCX] | Concurrent | Concurrent | Concurrent | ||||
Operation ¶
Temp Variables in EINCVIRTCHILD Operational Flow ¶
| Name | Type | Size (bits) | Description |
|---|---|---|---|
| TMP_SECS | Physical Address | 64 | Physical address of the SECS of the page being modified. |
EINCVIRTCHILD Return Value in RAX ¶
| Error | Value | Description |
|---|---|---|
| No Error | 0 | EINCVIRTCHILD Successful. |
| SGX_EPC_PAGE_CONFLICT | Failure due to concurrent operation of another SGX instruction. |
(* check alignment of DS:RBX *)
IF (DS:RBX is not 4K aligned) THEN
#GP(0); FI;
(* check DS:RBX is an linear address of an EPC page *)
IF (DS:RBX does not resolve within an EPC) THEN
#PF(DS:RBX, PFEC.SGX); FI;
(* check DS:RCX is an linear address of an EPC page *)
IF (DS:RCX does not resolve within an EPC) THEN
#PF(DS:RCX, PFEC.SGX); FI;
(* Check the EPCPAGE for concurrency *)
IF (EPCPAGE is being modified) THEN
RFLAGS.ZF = 1;
RAX = SGX_EPC_PAGE_CONFLICT;
goto DONE;
FI;
(* check that the EPC page is valid *)
IF (EPCM(DS:RBX).VALID = 0) THEN
#PF(DS:RBX, PFEC.SGX); FI;
(* check that the EPC page has the correct type and that the back pointer matches the pointer passed as the pointer to parent *)
IF ((EPCM(DS:RBX).PAGE_TYPE = PT_REG) or
(EPCM(DS:RBX).PAGE_TYPE = PT_TCS) or
(EPCM(DS:RBX).PAGE_TYPE = PT_TRIM) or
(EPCM(DS:RBX).PAGE_TYPE = PT_SS_FIRST) or
(EPCM(DS:RBX).PAGE_TYPE = PT_SS_REST))
THEN
(* get the SECS of DS:RBX *)
TMP_SECS := Address of SECS for (DS:RBX);
ELSE IF (EPCM(DS:RBX).PAGE_TYPE = PT_SECS) THEN
(* get the physical address of DS:RBX *)
TMP_SECS := Physical_Address(DS:RBX);
ELSE
(* EINCVIRTCHILD called on page of incorrect type *)
#PF(DS:RBX, PFEC.SGX); FI;
IF (TMP_SECS ≠ Physical_Address(DS:RCX)) THEN
#GP(0); FI;
(* Atomically increment virtchild counter *)
Locked_Increment(SECS(TMP_SECS).VIRTCHILDCNT);
RFLAGS.ZF := 0;
RAX := 0;
DONE:
(* clear flags *)
RFLAGS.CF := 0;
RFLAGS.PF := 0;
RFLAGS.AF := 0;
RFLAGS.OF := 0;
RFLAGS.SF := 0;
Flags Affected ¶
ZF is set if EINCVIRTCHILD fails due to concurrent operation with another SGX instruction; otherwise cleared.
Protected Mode Exceptions ¶
| #GP(0) | If a memory operand effective address is outside the DS segment limit. |
| If DS segment is unusable. | |
| If a memory operand is not properly aligned. | |
| RBX does not refer to an enclave page associated with SECS referenced in RCX. | |
| #PF(error | code) If a page fault occurs in accessing memory operands. |
| If RBX does not refer to an enclave page (REG, TCS, TRIM, SECS). | |
| If RCX does not refer to an SECS page. |
64-Bit Mode Exceptions ¶
| #GP(0) | If a memory address is in a non-canonical form. |
| If a memory operand is not properly aligned. | |
| RBX does not refer to an enclave page associated with SECS referenced in RCX. | |
| #PF(error | code) If a page fault occurs in accessing memory operands. |
| If RBX does not refer to an enclave page (REG, TCS, TRIM, SECS). | |
| If RCX does not refer to an SECS page. |