FreeBSD/sys/arm/arm/pmap-v4.c
/*
 *	pmap_is_prefaultable:
 *
 *	Return whether or not the specified virtual address is elgible
 *	for prefault.
 */
Return whether or not the specified virtual address is elgible
for prefault.
Return whether or not the specified virtual address is elgible for prefault .
boolean_t
pmap_is_prefaultable(pmap_t pmap, vm_offset_t addr)
{
	pd_entry_t *pde;
	pt_entry_t *pte;
	if (!pmap_get_pde_pte(pmap, addr, &pde, &pte))
		return (FALSE);
	KASSERT(pte != NULL, ("Valid mapping but no pte ?"));
	if (*pte == 0)
		return (TRUE);
	return (FALSE);
}
boolean_t pmap_is_prefaultable ( pmap_t pmap , vm_offset_t addr ) { pd_entry_t * pde ; pt_entry_t * pte ; if ( ! pmap_get_pde_pte ( pmap , addr , & pde , & pte ) ) return ( FALSE ) ; KASSERT ( pte != NULL , ( " " ) ) ; if ( * pte == 0 ) return ( TRUE ) ; return ( FALSE ) ; }
pmap_is_prefaultable:
      Return whether or not the specified virtual address is elgible
      for prefault.
pmap_is_prefaultable : Return whether or not the specified virtual address is elgible for prefault .