Searched refs:VKI_USRSTACK64 (Results 1 – 4 of 4) sorted by relevance
327 (vki_uint8_t *)(state->__rsp ? state->__rsp : VKI_USRSTACK64); in load_genericthread()
366 #define VKI_USRSTACK64 USRSTACK64 macro