syntax_data: {"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // uefi-base module for generic UEFI options. On ia32 systems
context_before: // This defines the ia32 target for UEFI systems as described in the UEFI specification. See the
context_after: // UEFI systems always run in protected-mode, have the interrupt-controller pre-configured and