syntax_data: {"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // This defines the ia32 target for UEFI systems as described in the UEFI specification. See the
context_after: // uefi-base module for generic UEFI options. On ia32 systems