pmap_resident_count_dec
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, freed);
pmap_resident_count_dec(pmap, L2_SIZE / PAGE_SIZE);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, L3C_ENTRIES);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, L1_SIZE / PAGE_SIZE);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap,
pmap_resident_count_dec(pmap,1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, freed);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, L3_PAGE_SIZE / PAGE_SIZE);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, L3_PAGE_SIZE / PAGE_SIZE);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, L2_SIZE / PAGE_SIZE);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, Ln_ENTRIES);
pmap_resident_count_dec(pmap, 1);
pmap_resident_count_dec(pmap, 1);