Searched refs:Prod (Results 1 – 2 of 2) sorted by relevance
342 XENSTORE_RING_IDX Prod in XenStoreCheckIndexes() argument345 return ((Prod - Cons) <= XENSTORE_RING_SIZE); in XenStoreCheckIndexes()363 IN XENSTORE_RING_IDX Prod, in XenStoreGetOutputChunk() argument369 Len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX (Prod); in XenStoreGetOutputChunk()370 if ((XENSTORE_RING_SIZE - (Prod - Cons)) < Len) { in XenStoreGetOutputChunk()371 Len = XENSTORE_RING_SIZE - (Prod - Cons); in XenStoreGetOutputChunk()374 return (Buffer + MASK_XENSTORE_IDX (Prod)); in XenStoreGetOutputChunk()392 IN XENSTORE_RING_IDX Prod, in XenStoreGetInputChunk() argument400 if ((Prod - Cons) < Len) { in XenStoreGetInputChunk()401 Len = Prod - Cons; in XenStoreGetInputChunk()[all …]
159 Device 0: Vendor: SanDisk Rev: 1.00 Prod: Cruzer Blade