x86: efi: Turn off efi_enabled after setup on mixed fw/kernel
[linux-2.6.git] / tools / lib / 
tree331a3d41c9c5bb7563b9f5f625a6265b57fbcd7c
drwxr-xr-x   ..
drwxr-xr-x - traceevent