About
Contact
../
acpi.c
cmdline.c
cpuflags.c
early_serial_console.c
efi.c
efi.h
efi_setup_data
efi_unaccepted_memory
efi_mixed.S
error.c
error.h
head_32.S
head_64.S
ident_map_64.c
alloc_pgt_data
idt_64.c
idt_handlers_64.S
kaslr.c
mem_avoid_index
parse_mode
slot_area
kernel_info.S
mem.c
mem_encrypt.S
misc.c
misc.h
efi_type
mem_vector
mkpiggy.c
main
pgtable.h
pgtable_64.c
sev.c
sev.h
string.c
tdcall.S
tdx-shared.c
tdx.c
tdx.h
vmlinux.lds.S