FreeBSD/sys/arm64/arm64/pmap.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)
{
	pt_entry_t *pte;
	boolean_t rv;
	int lvl;
	rv = FALSE;
	PMAP_LOCK(pmap);
	pte = pmap_pte(pmap, addr, &lvl);
	if (pte != NULL && pmap_load(pte) != 0) {
		rv = TRUE;
	}
	PMAP_UNLOCK(pmap);
	return (rv);
}
boolean_t pmap_is_prefaultable ( pmap_t pmap , vm_offset_t addr ) { pt_entry_t * pte ; boolean_t rv ; int lvl ; rv = FALSE ; PMAP_LOCK ( pmap ) ; pte = pmap_pte ( pmap , addr , & lvl ) ; if ( pte != NULL && pmap_load ( pte ) != 0 ) { rv = TRUE ; } 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 .