Searched refs:do_stc (Results 1 – 1 of 1) sorted by relevance
22 ULong do_stc ( void ) in do_stc() function58 printf("stc: 0x%016llx\n", 0x8d5 & do_stc()); in main()