FreeBSD/sys/arm/arm/pmap-v6.c
/*
 *	pmap_is_prefaultable:
 *
 *	Return whether or not the specified virtual address is eligible
 *	for prefault.
 */
Return whether or not the specified virtual address is eligible
for prefault.
Return whether or not the specified virtual address is eligible for prefault .
boolean_t
pmap_is_prefaultable(pmap_t pmap, vm_offset_t addr)
{
	pt1_entry_t pte1;
	pt2_entry_t pte2;
	boolean_t rv;
	rv = FALSE;
	PMAP_LOCK(pmap);
	pte1 = pte1_load(pmap_pte1(pmap, addr));
	if (pte1_is_link(pte1)) {
		pte2 = pte2_load(pt2map_entry(addr));
		rv = !pte2_is_valid(pte2) ;
	}
	PMAP_UNLOCK(pmap);
	return (rv);
}
boolean_t pmap_is_prefaultable ( pmap_t pmap , vm_offset_t addr ) { pt1_entry_t pte1 ; pt2_entry_t pte2 ; boolean_t rv ; rv = FALSE ; PMAP_LOCK ( pmap ) ; pte1 = pte1_load ( pmap_pte1 ( pmap , addr ) ) ; if ( pte1_is_link ( pte1 ) ) { pte2 = pte2_load ( pt2map_entry ( addr ) ) ; rv = ! pte2_is_valid ( pte2 ) ; } PMAP_UNLOCK ( pmap ) ; return ( rv ) ; }
pmap_is_prefaultable:
      Return whether or not the specified virtual address is eligible
      for prefault.
pmap_is_prefaultable : Return whether or not the specified virtual address is eligible for prefault .