Searched refs:EMDB_BADSYSNUM (Results 1 – 2 of 2) sorted by relevance
79 EMDB_BADSYSNUM, /* Invalid system call code */ enumerator
4509 (void) set_errno(EMDB_BADSYSNUM); in pt_add_sysenter()4522 (void) set_errno(EMDB_BADSYSNUM); in pt_add_sysexit()