FreeBSD/sys/arm/arm/pmap-v4.c
/*
 * vector_page_setprot:
 *
 *	Manipulate the protection of the vector page.
 */
Manipulate the protection of the vector page.
Manipulate the protection of the vector page .
void
vector_page_setprot(int prot)
{
	struct l2_bucket *l2b;
	pt_entry_t *ptep;
	l2b = pmap_get_l2_bucket(kernel_pmap, vector_page);
	ptep = &l2b->l2b_kva[l2pte_index(vector_page)];
	*ptep = (*ptep & ~L1_S_PROT_MASK) | L2_S_PROT(PTE_KERNEL, prot);
	PTE_SYNC(ptep);
	cpu_tlb_flushD_SE(vector_page);
	cpu_cpwait();
}
void vector_page_setprot ( int prot ) { struct l2_bucket * l2b ; pt_entry_t * ptep ; l2b = pmap_get_l2_bucket ( kernel_pmap , vector_page ) ; ptep = & l2b -> l2b_kva [ l2pte_index ( vector_page ) ] ; * ptep = ( * ptep & ~ L1_S_PROT_MASK ) | L2_S_PROT ( PTE_KERNEL , prot ) ; PTE_SYNC ( ptep ) ; cpu_tlb_flushD_SE ( vector_page ) ; cpu_cpwait ( ) ; }
vector_page_setprot:
      Manipulate the protection of the vector page.
vector_page_setprot : Manipulate the protection of the vector page .