sys/amd64/amd64/efirt_machdep.c

132

m = efi_1t1_page();

sys/amd64/amd64/efirt_machdep.c

145

m = efi_1t1_page();

sys/amd64/amd64/efirt_machdep.c

156

m = efi_1t1_page();

sys/amd64/amd64/efirt_machdep.c

167

m = efi_1t1_page();

sys/amd64/amd64/efirt_machdep.c

198

efi_pmltop_page = efi_1t1_page();

sys/arm64/arm64/efirt_machdep.c

107

m = efi_1t1_page();

sys/arm64/arm64/efirt_machdep.c

119

m = efi_1t1_page();

sys/arm64/arm64/efirt_machdep.c

131

m = efi_1t1_page();

sys/arm64/arm64/efirt_machdep.c

180

efi_l0_page = efi_1t1_page();