1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 SECTIONS 2 SECTIONS
3 { 3 {
4 .payload16 0 : { 4 .payload16 0 : {
5 guest16 = .; 5 guest16 = .;
6 guest16.o(.text) 6 guest16.o(.text)
7 guest16_end = .; 7 guest16_end = .;
8 } 8 }
9 } 9 }
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.