ARM_VECTORS_HIGH
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
if (vector_page == ARM_VECTORS_HIGH)
const bool map_vectors_p = vectors == ARM_VECTORS_HIGH
if (va == ARM_VECTORS_HIGH) {
arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0,
if (vector_page != ARM_VECTORS_LOW && vector_page != ARM_VECTORS_HIGH) {
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0, devmap,
pmap_map_entry(l1_va, ARM_VECTORS_HIGH, systempage.pv_pa,
(vaddr_t)ARM_VECTORS_HIGH, (vaddr_t)ARM_VECTORS_HIGH + PAGE_SIZE - 1,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
systempage.pv_va = ARM_VECTORS_HIGH;
pmap_link_l2pt(l1_va, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0,
arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0,
arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0,
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00400000 - 1),
pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
arm32_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);