Searched refs:kernel_data_addr (Results 1 – 3 of 3) sorted by relevance
130 vm_map_address_t kernel_data_addr, kernel_text_addr, kernel_ro_data_addr, user_text_addr; in commpage_populate() local131 …pmap_create_sharedpages(&kernel_data_addr, &kernel_text_addr, &kernel_ro_data_addr, &user_text_add… in commpage_populate()133 sharedpage_rw_addr = kernel_data_addr; in commpage_populate()
552 extern void pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_te…
10736 pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_text_addr, argument10744 *kernel_data_addr = 0;10879 *kernel_data_addr = phystokv(data_pa);