Searched refs:s3_do16_rpush (Results 1 – 1 of 1) sorted by relevance
136 static void s3_do16_rpush (char *);880 {"rpush!", 0x6c00, 0x7c00, 0x8000, Rd_I5, s3_do16_rpush},3766 s3_do16_rpush (char *str) in s3_do16_rpush() function