Lines Matching refs:VMID
35 * its VMID). A corresponding clean call is made when no more
57 * 'ids'. The 'lease' contains a client's unique VM identifier (VMID)
61 * is granted, the garbage collector adds the client's VMID to the
68 * Some clients are unable to generate a VMID, since a VMID is a
71 * restrictions. In this case, a client can use a VMID of null,
72 * and the distributed garbage collector will assign a VMID for
75 * The dirty call returns a Lease object that contains the VMID
78 * client requests). A client must use the VMID the garbage
109 * @param vmid client VMID
113 void clean(ObjID[] ids, long sequenceNum, VMID vmid, boolean strong)