#ifndef __EM_TEEGRIS_RPMB_H
#define __EM_TEEGRIS_RPMB_H

int em_read_core(uint8_t *buf, uint32_t buf_len);
int em_write_core(uint8_t *buf, uint32_t buf_len);
int em_check_provision(void);

#endif