satip-axe/kernel/arch/x86/kernel
2015-03-26 17:24:57 +01:00
..
acpi add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apic add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpu add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
.gitignore add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
alternative.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
amd_iommu_init.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
amd_iommu.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
aperture_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apm_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
asm-offsets_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
asm-offsets_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
asm-offsets.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
audit_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bios_uv.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bootflag.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
check.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpuid.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
crash_dump_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
crash_dump_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
crash.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
doublefault_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ds_selftest.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ds_selftest.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ds.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dumpstack_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dumpstack_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dumpstack.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dumpstack.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
e820.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
early_printk.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
early-quirks.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi_stub_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi_stub_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
entry_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
entry_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ftrace.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
geode_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
head32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
head64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
head_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
head_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
head.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hpet.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i386_ksyms_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i387.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i8237.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i8253.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i8259.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
init_task.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io_delay.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ioport.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irqinit.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
k8.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kdebugfs.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kgdb.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kprobes.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvm.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvmclock.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ldt.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
machine_kexec_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
machine_kexec_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
Makefile add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mca_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mfgpt_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
microcode_amd.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
microcode_core.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
microcode_intel.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmconf-fam10h_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
module.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpparse.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mrst.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
msr.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
olpc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt_patch_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt_patch_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt-spinlocks.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-calgary_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-dma.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-gart_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-nommu.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-swiotlb.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pcspeaker.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pmtimer_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
probe_roms_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
process_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
process_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
process.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ptrace.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pvclock.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
quirks.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
reboot_fixups_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
reboot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
relocate_kernel_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
relocate_kernel_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rtc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
scx200_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
setup_percpu.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
setup.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sfi.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
signal.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
smp.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
smpboot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stacktrace.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
step.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sys_i386_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sys_x86_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
syscall_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
syscall_table_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tboot.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tce_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
test_nx.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
test_rodata.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
time.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tlb_uv.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tls.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tls.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
topology.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
trampoline_32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
trampoline_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
trampoline.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
traps.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tsc_sync.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tsc.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uv_irq.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uv_sysfs.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uv_time.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
verify_cpu_64.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
visws_quirks.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vm86_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmi_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmiclock_32.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmlinux.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vsmp_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vsyscall_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
x86_init.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
x8664_ksyms_64.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xsave.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00