]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
x86_64: remove unused labels
authorWei Liu <wei.liu2@citrix.com>
Thu, 25 Aug 2016 13:11:31 +0000 (14:11 +0100)
committerWei Liu <wei.liu2@citrix.com>
Fri, 26 Aug 2016 08:12:14 +0000 (09:12 +0100)
commit0708659409f29e42b114e6d311a5d55c1a890a3f
tree7b4cff717ba0be9ae9d3f5f943f8ea863bd50b0a
parent583ebbf41da876e2d66050fdeff41f23df8bf773
x86_64: remove unused labels

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Juergen Gross <jgross@suse.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
arch/x86/x86_64.S