pmap_extract_ma
if (!pmap_extract_ma(pmap_kernel(), (vaddr_t)table, &pa) ||
bool pmap_extract_ma(pmap_t, vaddr_t, paddr_t *);
if (pmap_extract_ma(pmap_kernel(), va, &bpa) == FALSE) {
(void) pmap_extract_ma(pmap_kernel(), va, &bpa);
__strict_weak_alias(pmap_extract_ma, pmap_extract);
if (pmap_extract_ma(pmap_kernel(), va, &pa) == true)
if (!pmap_extract_ma(pm, va, &ba)) {
pmap_extract_ma(pmap_kernel(), (ptr & ~PAGE_MASK), &ma);
(void)pmap_extract_ma(pmap_kernel(), (vaddr_t)tx_ring, &ma);
(void)pmap_extract_ma(pmap_kernel(), (vaddr_t)rx_ring, &ma);
(void)pmap_extract_ma(pmap_kernel(), va, &ma);
(void)pmap_extract_ma(pmap_kernel(), (vaddr_t)ring, &ma);
(void)pmap_extract_ma(pmap_kernel(), va, &ma);
pmap_extract_ma(pmap_kernel(), (vaddr_t)&xen_start_info, &mfn);
(void)pmap_extract_ma(pmap_kernel(), (vaddr_t)shared, &ma);
(void)pmap_extract_ma(pmap_kernel(), page, &ma);