x86/kernel/ept.c

74     findEPTForASID_ret_t ret;
81         ret.ept = NULL;
82         ret.status = EXCEPTION_LOOKUP_FAULT;
83         return ret;
86     ret.ept = (ept_pml4e_t *)asid_map_asid_map_ept_get_ept_root(asid_map);
87     ret.status = EXCEPTION_NONE;
88     return ret;
98     lookupEPTPDPTSlot_ret_t ret;
106         ret.pdptSlot = NULL;
107         ret.status = EXCEPTION_LOOKUP_FAULT;
108         return ret;
113     ret.pdptSlot = pdpt + index;
114     ret.status = EXCEPTION_NONE;
115     return ret;
120     lookupEPTPDSlot_ret_t ret;
128         ret.pdSlot = NULL;
129         ret.status = EXCEPTION_LOOKUP_FAULT;
130         return ret;
136         ret.pdSlot = NULL;
137         ret.status = EXCEPTION_LOOKUP_FAULT;
138         return ret;
143     ret.pdSlot = pd + index;
144     ret.status = EXCEPTION_NONE;
145     return ret;
150     lookupEPTPTSlot_ret_t ret;
158         ret.ptSlot = NULL;
159         ret.status = EXCEPTION_LOOKUP_FAULT;
160         return ret;
167         ret.ptSlot = NULL;
168         ret.status = EXCEPTION_LOOKUP_FAULT;
169         return ret;
175     ret.ptSlot = pt + index;
176     ret.status = EXCEPTION_NONE;
177     return ret;
197     EPTPDPTMapped_ret_t ret;
203         ret.pml4 = NULL;
204         ret.pml4Slot = NULL;
205         ret.status = asid_ret.status;
206         return ret;
213         ret.pml4 = asid_ret.ept;
214         ret.pml4Slot = pml4Slot;
215         ret.status = EXCEPTION_NONE;
216         return ret;
218         ret.pml4 = NULL;
219         ret.pml4Slot = NULL;
220         ret.status = EXCEPTION_LOOKUP_FAULT;
221         return ret;
390     EPTPageDirectoryMapped_ret_t ret;
396         ret.pml4 = NULL;
397         ret.pdptSlot = NULL;
398         ret.status = asid_ret.status;
399         return ret;
404         ret.pml4 = NULL;
405         ret.pdptSlot = NULL;
406         ret.status = find_ret.status;
407         return ret;
412         ret.pml4 = asid_ret.ept;
413         ret.pdptSlot = find_ret.pdptSlot;
414         ret.status = EXCEPTION_NONE;
415         return ret;
417         ret.pml4 = NULL;
418         ret.pdptSlot = NULL;
419         ret.status = EXCEPTION_LOOKUP_FAULT;
420         return ret;
579     EPTPageTableMapped_ret_t ret;
585         ret.pml4 = NULL;
586         ret.pdSlot = NULL;
587         ret.status = asid_ret.status;
588         return ret;
593         ret.pml4 = NULL;
594         ret.pdSlot = NULL;
595         ret.status = find_ret.status;
596         return ret;
601         ret.pml4 = asid_ret.ept;
602         ret.pdSlot = find_ret.pdSlot;
603         ret.status = EXCEPTION_NONE;
604         return ret;
606         ret.pml4 = NULL;
607         ret.pdSlot = NULL;
608         ret.status = EXCEPTION_LOOKUP_FAULT;
609         return ret;