Searched refs:VKI_USRSTACK64 (Results 1 – 2 of 2) sorted by relevance
313 if (stack_end) *stack_end = (vki_uint8_t *)(state->__rsp ? state->__rsp : VKI_USRSTACK64); in load_genericthread()
347 #define VKI_USRSTACK64 USRSTACK64 macro