Adding ARM encoding functions