__undi_call
ret = __undi_call ( SEGMENT( undi.undi_call_info ),
PXENV_EXIT_t __undi_call ( uint32_t, uint32_t );