Searched refs:IdlePML4 (Results 1 – 5 of 5) sorted by relevance
155 pml4_entry_t *IdlePML4; variable215 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in x86_64_pre_sleep()217 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4)); in x86_64_pre_sleep()224 IdlePML4[0] = 0; in x86_64_post_sleep()367 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()382 DBG("Physical map idlepml4[%d]: 0x%llx\n", i, IdlePML4[i]); in physmap_init()398 IdlePML4 = ALLOCPAGES(1); /* level 4 */ in Idle_PTs_init()413 fillkpt(IdlePML4 + KERNEL_PML4_INDEX, in Idle_PTs_init()440 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in Idle_PTs_init()804 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in vstart()[all …]
260 IDPML4[KERNEL_PML4_INDEX] = IdlePML4[KERNEL_PML4_INDEX]; in pal_efi_call_in_32bit_mode()261 IDPML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in pal_efi_call_in_32bit_mode()
446 extern pml4_entry_t *IdlePML4;
55 extern uint64_t *IdlePML4;142 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_map_shadow_superpage_zero()146 IdlePML4[addr.pml4] = pmem in kasan_map_shadow_superpage_zero()199 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_map_shadow()203 IdlePML4[addr.pml4] = pmem in kasan_map_shadow()335 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_is_shadow_mapped()
478 kernel_pmap->pm_pml4 = IdlePML4; in pmap_bootstrap()479 kernel_pmap->pm_upml4 = IdlePML4; in pmap_bootstrap()480 kernel_pmap->pm_cr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()481 kernel_pmap->pm_ucr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()