satip-axe/kernel/arch/x86/include/asm
2015-03-26 17:24:57 +01:00
..
uv add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
visws add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xen add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
a.out-core.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
a.out.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
acpi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
aes.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
agp.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
alternative-asm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
alternative.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
amd_iommu_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
amd_iommu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apic.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apicdef.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apicnum.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
apm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
asm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
atomic_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
atomic_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
atomic.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
auxvec.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bios_ebda.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bitops.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bitsperlong.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
boot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bootparam.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bug.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
bugs.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
byteorder.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cache.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cacheflush.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
calgary.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
calling.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
checksum_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
checksum_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
checksum.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cmpxchg_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cmpxchg_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cmpxchg.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
compat.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpufeature.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cpumask.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
cputime.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
current.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
debugreg.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
delay.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
desc_defs.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
desc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
device.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
div64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dma-mapping.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dma.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dmi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ds.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
dwarf2.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
e820.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
edac.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
efi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
elf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
emergency-restart.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
entry_arch.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
errno.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fb.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fcntl.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
fixmap.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
floppy.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
frame.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ftrace.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
futex.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
gart.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
genapic.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
geode.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
gpio.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hardirq.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
highmem.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hpet.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hugetlb.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hw_irq.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hypertransport.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
hypervisor.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i387.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i8253.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
i8259.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ia32_unistd.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ia32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
idle.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
init.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io_apic.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
io.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ioctl.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ioctls.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
iomap.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
iommu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ipcbuf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ipi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq_regs.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq_remapping.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq_vectors.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irq.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
irqflags.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ist.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
k8.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
Kbuild add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kdebug.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kexec.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kgdb.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kmap_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kmemcheck.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kprobes.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvm_emulate.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvm_host.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvm_para.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
kvm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ldt.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
lguest_hcall.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
lguest.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
linkage.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
local.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mach_timer.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mach_traps.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
math_emu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mc146818rtc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mca_dma.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mca.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mce.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
microcode.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mman.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmconfig.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmu_context.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmx.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmzone_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmzone_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mmzone.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
module.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpspec_def.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mpspec.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
msgbuf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
msidef.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
msr-index.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
msr.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mtrr.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mutex_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mutex_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
mutex.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
nmi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
nops.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
numa_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
numa_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
numa.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
numaq.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
olpc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page_32_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page_64_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
page.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
param.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
paravirt.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
parport.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pat.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci_x86.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-direct.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci-functions.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pci.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
percpu.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
perf_event.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgalloc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable_32_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable_64_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable-2level_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable-2level.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable-3level_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable-3level.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pgtable.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
poll.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
posix_types_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
posix_types_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
posix_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
prctl.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
processor-cyrix.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
processor-flags.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
processor.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
proto.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ptrace-abi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ptrace.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pvclock-abi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
pvclock.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rdc321x_defs.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
reboot_fixups.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
reboot.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
required-features.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
resource.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
resume-trace.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rio.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rtc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rwlock.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
rwsem.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
scatterlist.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
seccomp_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
seccomp_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
seccomp.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sections.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
segment.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sembuf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
serial.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
setup_arch.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
setup.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
shmbuf.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
shmparam.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sigcontext32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sigcontext.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sigframe.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
siginfo.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
signal.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
smp.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
smpboot_hooks.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
socket.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sockios.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sparsemem.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
spinlock_types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
spinlock.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
srat.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stackprotector.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stacktrace.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
stat.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
statfs.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
string_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
string_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
string.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
suspend_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
suspend_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
suspend.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
svm.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
swab.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
swiotlb.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sync_bitops.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
sys_ia32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
syscall.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
syscalls.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
system_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
system.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tce.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
termbits.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
termios.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
thread_info.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
time.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
timer.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
timex.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tlb.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tlbflush.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
topology.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
trampoline.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
traps.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
tsc.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
types.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uaccess_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uaccess_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
uaccess.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
ucontext.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
unaligned.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
unistd_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
unistd_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
unistd.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
user32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
user_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
user_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
user.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vga.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vgtod.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
virtext.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vm86.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmi_time.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmi.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmware.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vmx.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vsyscall.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
x86_init.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xcr.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xor_32.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xor_64.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xor.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
xsave.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00