Home | History | Annotate | Download | only in x86

Lines Matching defs:L4cpu

617 	pd_entry_t *L4cpu
680 L4cpu = (pd_entry_t *)avail;
681 memset(L4cpu, 0, PAGE_SIZE);
696 L4cpu[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
709 __USE(L4cpu);
832 L4cpu[PDIR_SLOT_PTE] = xpmap_ptom_masked((paddr_t)L4cpu - KERNBASE)
869 xen_bt_set_readonly((vaddr_t)L4cpu);
892 cpu_info_primary.ci_kpm_pdir = L4cpu;
893 cpu_info_primary.ci_kpm_pdirpa = ((paddr_t)L4cpu - KERNBASE);