The third parameter must be 32bit register . Those assmebly put 64bit register here , it is wrong . Change-Id: Iebe17516b555a6a9b94ea7baa4778ad4b9dd0878 Signed-off-by: Jerry Yu <jerry.h.yu@arm.com>