Lines Matching refs:VexGuestARMState
708 guest_sizeB = sizeof(VexGuestARMState);
711 offB_CMSTART = offsetof(VexGuestARMState,guest_CMSTART);
712 offB_CMLEN = offsetof(VexGuestARMState,guest_CMLEN);
713 offB_GUEST_IP = offsetof(VexGuestARMState,guest_R15T);
714 szB_GUEST_IP = sizeof( ((VexGuestARMState*)0)->guest_R15T );
715 offB_HOST_EvC_COUNTER = offsetof(VexGuestARMState,host_EvC_COUNTER);
716 offB_HOST_EvC_FAILADDR = offsetof(VexGuestARMState,host_EvC_FAILADDR);
718 vassert(0 == sizeof(VexGuestARMState) % LibVEX_GUEST_STATE_ALIGN);
719 vassert(sizeof( ((VexGuestARMState*)0)->guest_CMSTART) == 4);
720 vassert(sizeof( ((VexGuestARMState*)0)->guest_CMLEN ) == 4);
721 vassert(sizeof( ((VexGuestARMState*)0)->guest_NRADDR ) == 4);