Home | History | Annotate | Download | only in arm32

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];