loader: Rename DevExt to dev_ext
authorMark Young <marky@lunarg.com>
Fri, 2 Sep 2016 17:41:28 +0000 (11:41 -0600)
committerMark Young <marky@lunarg.com>
Fri, 2 Sep 2016 19:52:11 +0000 (13:52 -0600)
commit159329a41d8e20517e36f61668fb7840e8417a85
treeacc2ffab14d5903772603a79afc81979d19dadc2
parentbd7c7f3bce6a63294c6741184e022d693190cf6d
loader: Rename DevExt to dev_ext

Make a quick change to conform a structure element to the coding
standard.

Change-Id: Icbf168b1ab451dcc4847a0c2c17d0cb40c0197b8
loader/dev_ext_trampoline.c
loader/loader.c
loader/loader.h
loader/table_ops.h