8645f72c72
cast between linux_kernel_header and linux_kernel_params. |
||
---|---|---|
.. | ||
coreboot | ||
pc | ||
bsd.c | ||
bsd32.c | ||
bsd64.c | ||
bsd_pagetable.c | ||
bsdXX.c | ||
linux.c | ||
multiboot_mbi.c | ||
xnu.c |
8645f72c72
cast between linux_kernel_header and linux_kernel_params. |
||
---|---|---|
.. | ||
coreboot | ||
pc | ||
bsd.c | ||
bsd32.c | ||
bsd64.c | ||
bsd_pagetable.c | ||
bsdXX.c | ||
linux.c | ||
multiboot_mbi.c | ||
xnu.c |