el2_setup.h revision 504ee236
1