RPTE_LEAF
if ((be64toh(*l3e) & RPTE_LEAF) != 0)
#define DMAP_PAGE_BITS (RPTE_VALID | RPTE_LEAF | RPTE_EAA_MASK | PG_M | PG_A)
else if ((oldl3e & RPTE_LEAF) != 0) {
KASSERT((be64toh(*l3e) & RPTE_LEAF) == 0, ("pmap_clear_modify: found"
if (srcptepaddr & RPTE_LEAF) {
newpte = (pt_entry_t)(pa | PG_A | PG_V | RPTE_LEAF);
rv = pmap_enter_l3e(pmap, va, newpte | RPTE_LEAF, flags, m, &lock);
if (l3e != NULL && (be64toh(*l3e) & PG_V) != 0 && ((be64toh(*l3e) & RPTE_LEAF) == 0 ||
RPTE_LEAF | PG_V;
if ((oldl3e & RPTE_LEAF) != 0) {
if (be64toh(*ptepa) & RPTE_LEAF)
if (be64toh(*l3e) & RPTE_LEAF) {
if (l3e & RPTE_LEAF) {
if (l3e != NULL && (be64toh(*l3e) & (RPTE_LEAF | PG_V)) == PG_V) {
KASSERT((be64toh(*l3e) & RPTE_LEAF) == 0,
if (pd != NULL && (be64toh(*pd) & (RPTE_LEAF | PG_V)) == (RPTE_LEAF | PG_V)) {
if ((ptpaddr & RPTE_LEAF) != 0) {
KASSERT((oldpde & (RPTE_LEAF | PG_V)) == (RPTE_LEAF | PG_V),
if (l3e && (be64toh(*l3e) & RPTE_LEAF) == 0) {
if ((ptpaddr & RPTE_LEAF) != 0) {
KASSERT((be64toh(*l3e) & RPTE_LEAF) == 0, ("pmap_remove_all: found"
if ((tpte & (RPTE_LEAF | PG_V)) == PG_V) {
KASSERT((be64toh(*l3e) & RPTE_LEAF) == 0,
if ((be64toh(*l3e) & RPTE_LEAF) != 0) {
if (be64toh(*l3ep) & RPTE_LEAF) {
KASSERT((oldpdpe & (RPTE_LEAF | PG_V)) == (RPTE_LEAF | PG_V),
if (be64toh(l3e) & RPTE_LEAF) {
if (be64toh(*l2e) & RPTE_LEAF) {
if (be64toh(*l3e) & RPTE_LEAF) {
if (be64toh(*l2e) & RPTE_LEAF) {
if (be64toh(*l3e) & RPTE_LEAF) {
if ((be64toh(*l2e) & PG_V) == 0 || (be64toh(*l2e) & RPTE_LEAF) != 0) {
if ((be64toh(*l3e) & PG_V) == 0 || (be64toh(*l3e) & RPTE_LEAF) != 0) {
*(u_long *)(ptep) = htobe64((u_long)((pte) | PG_V | RPTE_LEAF)); \
*pte = htobe64(pa | RPTE_VALID | RPTE_LEAF | RPTE_EAA_R | \
if (be64toh(*l3e) & RPTE_LEAF) {
#define RPDE_LEAF RPTE_LEAF /* is a PTE: always 0 */