Lines Matching refs:VexGuestARMState
608 guest_sizeB = sizeof(VexGuestARMState);
611 offB_CMSTART = offsetof(VexGuestARMState,guest_CMSTART);
612 offB_CMLEN = offsetof(VexGuestARMState,guest_CMLEN);
613 offB_GUEST_IP = offsetof(VexGuestARMState,guest_R15T);
614 szB_GUEST_IP = sizeof( ((VexGuestARMState*)0)->guest_R15T );
615 offB_HOST_EvC_COUNTER = offsetof(VexGuestARMState,host_EvC_COUNTER);
616 offB_HOST_EvC_FAILADDR = offsetof(VexGuestARMState,host_EvC_FAILADDR);
618 vassert(0 == sizeof(VexGuestARMState) % 16);
619 vassert(sizeof( ((VexGuestARMState*)0)->guest_CMSTART) == 4);
620 vassert(sizeof( ((VexGuestARMState*)0)->guest_CMLEN ) == 4);
621 vassert(sizeof( ((VexGuestARMState*)0)->guest_NRADDR ) == 4);