Note: - ENTRY_NOPROFILE() is okay since they are used only for debug printf - they are declared to return int so no need to put a return value into %a0