Lines Matching refs:VexGuestAMD64State
527 guest_sizeB = sizeof(VexGuestAMD64State);
530 offB_CMSTART = offsetof(VexGuestAMD64State,guest_CMSTART);
531 offB_CMLEN = offsetof(VexGuestAMD64State,guest_CMLEN);
532 offB_GUEST_IP = offsetof(VexGuestAMD64State,guest_RIP);
533 szB_GUEST_IP = sizeof( ((VexGuestAMD64State*)0)->guest_RIP );
534 offB_HOST_EvC_COUNTER = offsetof(VexGuestAMD64State,host_EvC_COUNTER);
535 offB_HOST_EvC_FAILADDR = offsetof(VexGuestAMD64State,host_EvC_FAILADDR);
537 vassert(0 == sizeof(VexGuestAMD64State) % 16);
538 vassert(sizeof( ((VexGuestAMD64State*)0)->guest_CMSTART ) == 8);
539 vassert(sizeof( ((VexGuestAMD64State*)0)->guest_CMLEN ) == 8);
540 vassert(sizeof( ((VexGuestAMD64State*)0)->guest_NRADDR ) == 8);