NUM_VSID
#if VSID_VRMA < NUM_VSID
uint32_t pmap_vsid[NUM_VSID / 32];
vsid = arc4random() & (NUM_VSID - 1);
KASSERT(vsid < NUM_VSID);