PG_PA
db_printf(" PA=0x%x\n", PG_PA(pte));
pa = PG_PA(pte);
pa = PG_PA(pte);
pa = PG_PA(pte);
#define IS_MAIN_MEM(pte) (((pte) & PG_TYPE) == 0 && PG_PA(pte) < 0x00700000)
pa = PG_PA(pte);
pv_flags = pa_to_pvflags(PG_PA(pte));
pa = PG_PA(pte);
#define PG_PFNUM(pte) (PG_PA(pte) >> PGSHIFT)
db_printf(" PA=0x%x\n", PG_PA(pte));
pa = PG_PA(pte);
pa = PG_PA(pte);
pa = PG_PA(pte);
pa = PG_PA(pte);
pv_flags = pa_to_pvflags(PG_PA(pte));