42#include <unicorn/unicorn.h>
void board_usb_host_report(void)
Print the USBHS host-model section of the end-of-run summary.
void board_usb_host_write(uc_engine *uc, uint64_t addr, unsigned size, uint64_t value, bool *handled)
Dispatch an MMIO write inside the USBHS register window.
uint64_t board_usb_host_read(uc_engine *uc, uint64_t addr, unsigned size, bool *handled)
Dispatch an MMIO read inside the USBHS register window.
void board_usb_host_set_allowed(bool allowed)
Grant (or deny) the register-level loop for this firmware.
void board_usb_host_init(bool trace)
Reset the USBHS host-mode model to its power-on state.