blob: c2af3261db69474fe5e790fb8118d16b354baf33 [file] [log] [blame]
#define TCG_HELPER_PROTO
void TCG_HELPER_PROTO helper_tlb_update(uint32_t T0);