The kernel either uses a separate file written in assembly (.S file) or inline assembly that GCC understands. https://github.com/torvalds/linux/blob/ce990f1de0

The kernel either uses a separate file written in assembly (.S file) or inline assembly that GCC understands. https://github.com/torvalds/linux/blob/ce990f1de0bc6ff3de43d385e0985efa980fba24/arch/x86/boot/compressed/efi_thunk_64.S#L55 https://github.com/torvalds/linux/blob/ce990f1de0bc6ff3de43d... https://github.com/torvalds/linux/blob/35e43538af8fd2cb39d58caca1134a87db173f75/arch/x86/include/asm/desc.h#L220 https://github.com/torvalds/linux/blob/35e43538af8fd2cb39d58...