Searched refs:vecpt_start (Results 1 - 1 of 1) sorted by relevance

/darwin-on-arm/xnu/osfmk/arm/
H A Darm_vm_init.c380 uint32_t *vecpt_start = (uint32_t*)(first_avail), *vectp, *va_vecpt; local
382 *vectp = (((uint32_t) vecpt_start) | L1_TYPE_PTE);
383 va_vecpt = (vm_offset_t)phys_to_virt(vecpt_start) + pte_offset(VECTORS_BASE);

Completed in 8 milliseconds