frodovdr/satip-axe
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
e5ba7e0e43f2c9bfc67bbb303f689305e6d2d0dc
satip-axe/kernel/arch/x86/kernel
History
Jaroslav Kysela e9070cdc77 add idl4k kernel firmware version 1.13.0.105
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