Searched refs:write_counter (Results 1 – 4 of 4) sorted by relevance
| /devicemodel/hw/platform/rpmb/ |
| A D | rpmb_backend.c | 147 const uint8_t *key, const uint8_t *nonce, const uint32_t *write_counter, in rpmb_replace_frame() argument
155 if (write_counter) in rpmb_replace_frame()
156 frames[i].write_counter = swap32(*write_counter); in rpmb_replace_frame()
179 const uint8_t *key, const uint32_t *write_counter, in rpmb_check_frame() argument
187 if (write_counter && *write_counter != swap32(frames[i].write_counter)) { in rpmb_check_frame()
189 DPRINTF(("%s: Bad write counter %u\n", cmd_str, *write_counter)); in rpmb_check_frame()
|
| A D | rpmb_sim.c | 454 if (counter != swap32(in_frame[0].write_counter)) { in rpmb_sim_write()
498 out_frame->write_counter = swap32(counter); in rpmb_sim_write()
601 out_frame->write_counter = swap32(counter); in rpmb_sim_get_counter()
|
| /devicemodel/hw/pci/virtio/ |
| A D | virtio_rpmb.c | 241 *counter = swap32(frame_out.write_counter); in rpmb_get_counter()
253 __u32 write_counter; in rpmb_write_block() local
268 rc = rpmb_get_counter(mode, key, &write_counter, &result); in rpmb_write_block()
276 frame_write.write_counter = swap32(write_counter); in rpmb_write_block()
281 frame_rel[i].write_counter = swap32(write_counter); in rpmb_write_block()
|
| /devicemodel/include/ |
| A D | rpmb.h | 130 __be32 write_counter; member
|
Completed in 7 milliseconds