SV_PROC_ABI
} else if (SV_PROC_ABI(p) == SV_ABI_LINUX) {
if (SV_PROC_ABI(p) == SV_ABI_LINUX) {
if (SV_PROC_ABI(td2->td_proc) != SV_ABI_LINUX) {
if (SV_PROC_ABI(p) != SV_ABI_LINUX ||
SV_PROC_ABI(p->p_pptr) == SV_ABI_LINUX) {
bool is_linux = SV_PROC_ABI(td->td_proc) == SV_ABI_LINUX;
#define SV_CURPROC_ABI() SV_PROC_ABI(curproc)