// SPDX-License-Identifier: MIT

void pinet_init(char *dev);
void pinet_shutdown();
void handle_pinet_write(uint32_t addr, uint32_t val, uint8_t type);
uint32_t handle_pinet_read(uint32_t addr, uint8_t type);
