Searched refs:mptramp_pagetables (Results 1 – 3 of 3) sorted by relevance
134 leal mptramp_pagetables-mptramp_start(%ebx),%eax224 .globl mptramp_pagetables symbol225 mptramp_pagetables: label
167 mptramp_pagetables = kernel_pmap->pm_cr3; in cpu_mp_start()
24 extern u_int32_t mptramp_pagetables;