Lines Matching defs:free_pv
380 pv_addr_t *free_pv = bmi->bmi_freeblocks;
391 && (free_pv->pv_pa & (L1_TABLE_SIZE - 1)) == 0
392 && free_pv->pv_size >= L1_TABLE_SIZE) {
406 while (nbytes > free_pv->pv_size) {
407 free_pv++;
419 KASSERT((armreg_ttbr_read() & ~(L1_TABLE_SIZE - 1)) != free_pv->pv_pa);
422 fdt_memory_remove_range(free_pv->pv_pa, nbytes);
424 pv->pv_pa = free_pv->pv_pa;
425 pv->pv_va = free_pv->pv_va;
440 free_pv->pv_pa += nbytes;
441 free_pv->pv_va += nbytes;
442 free_pv->pv_size -= nbytes;
443 if (free_pv->pv_size == 0) {
446 free_pv[0] = free_pv[1];