* Create a physical memory segment. */
| 395 | * Create a physical memory segment. |
| 396 | */ |
| 397 | static void |
| 398 | _vm_phys_create_seg(vm_paddr_t start, vm_paddr_t end, int domain) |
| 399 | { |
| 400 | struct vm_phys_seg *seg; |
| 401 | |
| 402 | KASSERT(vm_phys_nsegs < VM_PHYSSEG_MAX, |
| 403 | ("vm_phys_create_seg: increase VM_PHYSSEG_MAX")); |
| 404 | KASSERT(domain >= 0 && domain < vm_ndomains, |
| 405 | ("vm_phys_create_seg: invalid domain provided")); |
| 406 | seg = &vm_phys_segs[vm_phys_nsegs++]; |
| 407 | while (seg > vm_phys_segs && (seg - 1)->start >= end) { |
| 408 | *seg = *(seg - 1); |
| 409 | seg--; |
| 410 | } |
| 411 | seg->start = start; |
| 412 | seg->end = end; |
| 413 | seg->domain = domain; |
| 414 | } |
| 415 | |
| 416 | static void |
| 417 | vm_phys_create_seg(vm_paddr_t start, vm_paddr_t end) |
no outgoing calls
no test coverage detected