Searched refs:IdlePML4 (Results 1 – 5 of 5) sorted by relevance
151 pml4_entry_t *IdlePML4; variable211 IdlePML4[0] = IdlePML4[KERNEL_PML4_INDEX]; in x86_64_pre_sleep()213 set_cr3_raw((uint32_t) (uintptr_t)ID_MAP_VTOP(IdlePML4)); in x86_64_pre_sleep()220 IdlePML4[0] = 0; in x86_64_post_sleep()363 IdlePML4[pml4_index] = ((uintptr_t)ID_MAP_VTOP(l3pte)) in physmap_init()378 DBG("Physical map idlepml4[%d]: 0x%llx\n", i, IdlePML4[i]); in physmap_init()394 IdlePML4 = ALLOCPAGES(1); /* level 4 */ in Idle_PTs_init()409 fillkpt(IdlePML4 + KERNEL_PML4_INDEX, in Idle_PTs_init()436 set_cr3_raw((uintptr_t)ID_MAP_VTOP(IdlePML4)); in Idle_PTs_init()800 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;
58 extern uint64_t *IdlePML4;146 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_map_shadow_superpage_zero()150 IdlePML4[addr.pml4] = pmem in kasan_map_shadow_superpage_zero()203 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_map_shadow()207 IdlePML4[addr.pml4] = pmem in kasan_map_shadow()339 L3 = (uint64_t *)(IdlePML4[addr.pml4] & ~PAGE_MASK); in kasan_is_shadow_mapped()
502 kernel_pmap->pm_pml4 = IdlePML4; in pmap_bootstrap()503 kernel_pmap->pm_upml4 = IdlePML4; in pmap_bootstrap()504 kernel_pmap->pm_cr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()505 kernel_pmap->pm_ucr3 = (uintptr_t)ID_MAP_VTOP(IdlePML4); in pmap_bootstrap()