blob: 11b7cef6287bc39264fc98331f95e5d9a788ea33 [file] [log] [blame]
#include "shared.rsh"
rs_allocation aInt;
void write_i(int value, uint32_t x) {
rsSetElementAt_int(aInt, value, x);
}
void __attribute__((kernel)) write_k(int unused) {
rsSetElementAt_int(aInt, 1, 1);
}
void send_msg() {
rsSendToClientBlocking(RS_MSG_TEST_PASSED);
}