#source: warning-009.s
#warning : cr15 is a reserved control register