| 507 | } |
| 508 | |
| 509 | static void |
| 510 | vpid_free(int vpid) |
| 511 | { |
| 512 | if (vpid < 0 || vpid > 0xffff) |
| 513 | panic("vpid_free: invalid vpid %d", vpid); |
| 514 | |
| 515 | /* |
| 516 | * VPIDs [0,VM_MAXCPU] are special and are not allocated from |
| 517 | * the unit number allocator. |
| 518 | */ |
| 519 | |
| 520 | if (vpid > VM_MAXCPU) |
| 521 | free_unr(vpid_unr, vpid); |
| 522 | } |
| 523 | |
| 524 | static void |
| 525 | vpid_alloc(uint16_t *vpid, int num) |
no test coverage detected