Searched refs:kernel_regtable_store (Results 1 – 1 of 1) sorted by relevance
404 u_int *kernel_regtable_store; /* 1k of storage to map the kernel */ variable3664 kernel_regtable_store = (u_int *)p; in pmap_bootstrap4m()3724 pmap_kernel()->pm_reg_ptps[0] = (int *) kernel_regtable_store; in pmap_bootstrap4m()3726 PMAP_BOOTSTRAP_VA2PA(kernel_regtable_store); in pmap_bootstrap4m()