check_indexes 127 drivers/xen/xenbus/xenbus_comms.c if (!check_indexes(cons, prod)) { check_indexes 182 drivers/xen/xenbus/xenbus_comms.c if (!check_indexes(cons, prod)) {