pmap_load_l3c
static pt_entry_t pmap_load_l3c(pt_entry_t *l3p);
l3e = pmap_load_l3c(pte);
(pmap_load_l3c(pte) & ATTR_AF) != 0) {