We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a5121e9 commit 7109ab4Copy full SHA for 7109ab4
hypervisor/arch/x86/ept.c
@@ -43,6 +43,9 @@ static uint64_t find_next_table(uint32_t table_offset, void *table_base)
43
return sub_table_addr;
44
}
45
46
+/**
47
+ * @pre pml4_addr != NULL
48
+ */
49
static void free_ept_mem(void *pml4_addr)
50
{
51
void *pdpt_addr;
@@ -52,11 +55,6 @@ static void free_ept_mem(void *pml4_addr)
52
55
uint32_t pdpt_index;
53
56
uint32_t pde_idx;
54
57
- if (pml4_addr == NULL) {
- ASSERT(false, "EPTP is NULL");
- return;
58
- }
59
-
60
for (pml4_index = 0U; pml4_index < IA32E_NUM_ENTRIES; pml4_index++) {
61
/* Walk from the PML4 table to the PDPT table */
62
pdpt_addr = HPA2HVA(find_next_table(pml4_index, pml4_addr));
0 commit comments