118 static int lender_check_region(struct lender_region* region, size_t size) {  in lender_check_region()  argument
120     if (__builtin_add_overflow(region->offset, region->size, &end)) {  in lender_check_region()
131 static int lender_read_bss(handle_t chan, struct lender_region* region) {  in lender_read_bss()  argument
132     if (lender_check_region(region, PAGE_SIZE) != 0) {  in lender_read_bss()
136     int rc = tipc_send1(chan, &bss_page[region->offset], region->size);  in lender_read_bss()
137     if (rc != (int)region->size) {  in lender_read_bss()
145                             struct lender_region* region,  in lender_write_bss()  argument
147     if (lender_check_region(region, PAGE_SIZE) != 0) {  in lender_write_bss()
151     memcpy(&bss_page[region->offset], data, region->size);  in lender_write_bss()
183         rc = lender_read_bss(chan, &msg.region);  in lender_on_message()
189         if (rc - sizeof(struct lender_msg) != msg.region.size) {  in lender_on_message()
192         rc = lender_write_bss(chan, &msg.region, data);  in lender_on_message()