Searched refs:bytes_recvd (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
| H A D | clock.c | 71 int bytes_recvd = tx2_bpmp_call(clk->bpmp, MRQ_CLK, &req, sizeof(req), &res, sizeof(res)); local
72 if (bytes_recvd < 0) {
85 int bytes_recvd = tx2_bpmp_call(tx2_clk->bpmp, MRQ_CLK, &req, sizeof(req), &res, sizeof(&res)); local
86 if (bytes_recvd < 0) {
100 int bytes_recvd = tx2_bpmp_call(tx2_clk->bpmp, MRQ_CLK, &req, sizeof(req), &res, sizeof(&res)); local
101 if (bytes_recvd < 0) {
142 int bytes_recvd = tx2_bpmp_call(tx2_clk->bpmp, MRQ_CLK, &req, sizeof(req), &res, sizeof(res)); local
143 if (bytes_recvd < 0) {
|
| H A D | reset.c | 47 int bytes_recvd = tx2_bpmp_call(reset->bpmp, MRQ_RESET, &req, sizeof(req), NULL, 0); local
48 if (bytes_recvd < 0) {
|
Completed in 57 milliseconds