added attributes for reserving register in naked Patmos functions