ATTR_DESCR_VALID
if ((pmap_load(&l2[slot]) & ATTR_DESCR_VALID) == 0) {
if ((pmap_load(l1) & ATTR_DESCR_VALID) == 0) {
if ((pmap_load(l2) & ATTR_DESCR_VALID) == 0) {
if ((pmap_load(l3) & ATTR_DESCR_VALID) != 0)
if ((l0e & ATTR_DESCR_VALID) == 0) {
if ((l1e & ATTR_DESCR_VALID) == 0) {
if ((l0e & ATTR_DESCR_VALID) != 0) {
if ((l2e & ATTR_DESCR_VALID) == 0) {
if ((l3e & ATTR_DESCR_VALID) == 0) {
if ((l1e & ATTR_DESCR_VALID) != 0) {
if ((l2e & ATTR_DESCR_VALID) != 0) {
if ((pmap_load(l2) & ATTR_DESCR_VALID) != 0) {
if ((old_l3e & ATTR_DESCR_VALID) != 0)
if ((old_l3e & ATTR_DESCR_VALID) != 0)
KASSERT((pmap_load(l0p) & ATTR_DESCR_VALID) == 0,
KASSERT((pmap_load(l1) & ATTR_DESCR_VALID) == 0,
KASSERT((pmap_load(l2) & ATTR_DESCR_VALID) == 0,
KASSERT((pmap->pm_l0[0] & ATTR_DESCR_VALID) == ATTR_DESCR_VALID,
pmap_clear_bits(ptep, ATTR_DESCR_VALID);
pmap_clear_bits(lip, ATTR_DESCR_VALID);
if ((pmap_load(l0p) & ATTR_DESCR_VALID) == 0) {
if ((origpte & ATTR_DESCR_VALID) == 0) {
(origpte & ATTR_DESCR_VALID) == 0,
if ((origpte & ATTR_DESCR_VALID) == 0) {
KASSERT((origpte & ATTR_DESCR_VALID) == 0 ||
if (l2p == NULL || (pmap_load(l2p) & ATTR_DESCR_VALID) == 0) {
if ((pmap_load(l3p) & ATTR_DESCR_VALID) == 0) {
KASSERT((origpte & ATTR_DESCR_VALID) == 0 ||
if ((origpte & ATTR_DESCR_VALID) == 0)
KASSERT(ADDR_IS_KERNEL(va) || (l1 & ATTR_DESCR_VALID) != 0,
KASSERT(ADDR_IS_KERNEL(va) || (l2 & ATTR_DESCR_VALID) != 0,
if ((old_l2e & ATTR_DESCR_VALID) != 0)
nbits = ATTR_DESCR_VALID;
ATTR_DESCR_VALID)))
nbits = ATTR_DESCR_VALID;
ATTR_DESCR_VALID)))
pmap_set_bits(ptep, ATTR_AF | ATTR_DESCR_VALID);
KASSERT(va >= VM_MAX_USER_ADDRESS || (l1 & ATTR_DESCR_VALID) != 0,
KASSERT(va >= VM_MAX_USER_ADDRESS || (l2 & ATTR_DESCR_VALID) != 0,
if ((l0e & ATTR_DESCR_VALID) == 0) {
if ((l1e & ATTR_DESCR_VALID) == 0) {
if ((l2e & ATTR_DESCR_VALID) == 0) {
if ((l3e & ATTR_DESCR_VALID) == 0)
if ((l0e & ATTR_DESCR_VALID) == 0) {
if ((l1e & ATTR_DESCR_VALID) == 0) {
if ((l2e & ATTR_DESCR_VALID) == 0) {