Searched refs:IdlePML4 (Results 1 – 5 of 5) sorted by relevance
154 pml4_entry_t *IdlePML4; variable214 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in x86_64_pre_sleep()216 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4)); in x86_64_pre_sleep()223 IdlePML4[0] = 0; in x86_64_post_sleep()366 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()381 DBG("Physical map idlepml4[%d]: 0x%llx\n", i, IdlePML4[i]); in physmap_init()397 IdlePML4 = ALLOCPAGES(1); /* level 4 */ in Idle_PTs_init()412 fillkpt(IdlePML4 + KERNEL_PML4_INDEX, in Idle_PTs_init()439 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in Idle_PTs_init()803 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()
507 kernel_pmap->pm_pml4 = IdlePML4; in pmap_bootstrap()508 kernel_pmap->pm_upml4 = IdlePML4; in pmap_bootstrap()509 kernel_pmap->pm_cr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()510 kernel_pmap->pm_ucr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()