Lines Matching refs:LABEL
142 LABEL(nox_flag) .long 0 /* 32bit NOX flag, set if supported */
145 LABEL(cpuid_level) .long -1 /* max. level accepted by cpuid instr */
148 LABEL(esym) .quad 0 /* ptr to end of syms */
151 LABEL(eblob) .quad 0 /* ptr to end of modules */
154 LABEL(atdevbase) .quad 0 /* location of start of iomem in virt */
157 LABEL(PDPpaddr) .quad 0 /* paddr of PTD, for libkvm */
160 LABEL(biosbasemem) .long 0 /* base memory reported by BIOS */
163 LABEL(biosextmem) .long 0 /* extended memory reported by BIOS */
166 LABEL(stkpa) .quad 0
169 LABEL(stkva) .quad 0
172 LABEL(kernpa_start) .quad 0
175 LABEL(kernpa_end) .quad 0
184 LABEL(gdt64_lo)
192 LABEL(gdt64_start)