MASK_XENSTORE_IDX   83 drivers/xen/xenbus/xenbus_comms.c 	*len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX(prod);
MASK_XENSTORE_IDX   86 drivers/xen/xenbus/xenbus_comms.c 	return buf + MASK_XENSTORE_IDX(prod);
MASK_XENSTORE_IDX   93 drivers/xen/xenbus/xenbus_comms.c 	*len = XENSTORE_RING_SIZE - MASK_XENSTORE_IDX(cons);
MASK_XENSTORE_IDX   96 drivers/xen/xenbus/xenbus_comms.c 	return buf + MASK_XENSTORE_IDX(cons);