syntax_data: {"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // single-CPU execution.
context_before: // UEFI systems always run in long-mode, have the interrupt-controller pre-configured and force a
context_after: // The win64 ABI is used. It differs from the sysv64 ABI, so we must use a windows target with