| 1509 | } |
| 1510 | |
| 1511 | static u_int64_t |
| 1512 | allocpages(vm_paddr_t *firstaddr, int n) |
| 1513 | { |
| 1514 | u_int64_t ret; |
| 1515 | |
| 1516 | ret = *firstaddr; |
| 1517 | bzero((void *)ret, n * PAGE_SIZE); |
| 1518 | *firstaddr += n * PAGE_SIZE; |
| 1519 | return (ret); |
| 1520 | } |
| 1521 | |
| 1522 | CTASSERT(powerof2(NDMPML4E)); |
| 1523 |
no test coverage detected