Searched refs:kernel_data_addr (Results 1 – 3 of 3) sorted by relevance
127 vm_map_address_t kernel_data_addr, kernel_text_addr, user_text_addr; in commpage_populate() local128 pmap_create_sharedpages(&kernel_data_addr, &kernel_text_addr, &user_text_addr); in commpage_populate()130 sharedpage_rw_addr = kernel_data_addr; in commpage_populate()
605 extern void pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_te…
10765 pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_text_addr, argument10771 assert(kernel_data_addr != NULL);10780 *kernel_data_addr = phystokv(pa);10846 pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_text_addr, argument10853 *kernel_data_addr = 0;10965 *kernel_data_addr = phystokv(data_pa);