Searched refs:LibVEX_GuestPPC64_initialise (Results 1 – 3 of 3) sorted by relevance
313 void LibVEX_GuestPPC64_initialise ( /*OUT*/VexGuestPPC64State* vex_state );
1097 LibVEX_GuestPPC64_initialise(&arch->vex); in VG_()
759 void LibVEX_GuestPPC64_initialise ( /*OUT*/VexGuestPPC64State* vex_state ) in LibVEX_GuestPPC64_initialise() function