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…
10766 pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_text_addr, argument10772 assert(kernel_data_addr != NULL);10781 *kernel_data_addr = phystokv(pa);10847 pmap_create_sharedpages(vm_map_address_t *kernel_data_addr, vm_map_address_t *kernel_text_addr, argument10854 *kernel_data_addr = 0;10966 *kernel_data_addr = phystokv(data_pa);