Lines Matching full:must

53 The device tree blob (dtb) must be placed on an 8-byte boundary and must
55 using blocks of up to 2 megabytes in size, it must not be placed within
56 any 2M region which must be mapped with any specific attributes.
106 little-endian and must be respected. Where image_size is zero,
138 The Image must be placed text_offset bytes from a 2MB aligned base
142 At least image_size bytes from the start of the image must be free for
148 If an initrd/initramfs is passed to the kernel at boot, it must reside
157 Before jumping into the kernel, the following conditions must be met:
172 All forms of interrupts must be masked in PSTATE.DAIF (Debug, SError,
174 The CPU must be in non-secure state, either in EL2 (RECOMMENDED in order
179 The MMU must be off.
181 The instruction cache may be on or off, and must not hold any stale
184 The address range corresponding to the loaded kernel image must be
189 operations must be configured and may be enabled.
191 operations (not recommended) must be configured and disabled.
195 CNTFRQ must be programmed with the timer frequency and CNTVOFF must
197 kernel at EL1, CNTHCTL_EL2 must have EL1PCTEN (bit 0) set where
202 All CPUs to be booted by the kernel must be part of the same coherency
210 level where the kernel image will be entered must be initialised by
217 - SCR_EL3.FIQ must have the same value across all CPUs the kernel is
219 - The value of SCR_EL3.FIQ must be the same as the one present at boot
224 - SCR_EL3.HCE (bit 8) must be initialised to 0b1.
230 - ICH_HFGRTR_EL2.ICC_PPI_ACTIVERn_EL1 (bit 20) must be initialised to 0b1.
231 - ICH_HFGRTR_EL2.ICC_PPI_PRIORITYRn_EL1 (bit 19) must be initialised to 0b1.
232 - ICH_HFGRTR_EL2.ICC_PPI_PENDRn_EL1 (bit 18) must be initialised to 0b1.
233 - ICH_HFGRTR_EL2.ICC_PPI_ENABLERn_EL1 (bit 17) must be initialised to 0b1.
234 - ICH_HFGRTR_EL2.ICC_PPI_HMRn_EL1 (bit 16) must be initialised to 0b1.
235 - ICH_HFGRTR_EL2.ICC_IAFFIDR_EL1 (bit 7) must be initialised to 0b1.
236 - ICH_HFGRTR_EL2.ICC_ICSR_EL1 (bit 6) must be initialised to 0b1.
237 - ICH_HFGRTR_EL2.ICC_PCR_EL1 (bit 5) must be initialised to 0b1.
238 - ICH_HFGRTR_EL2.ICC_HPPIR_EL1 (bit 4) must be initialised to 0b1.
239 - ICH_HFGRTR_EL2.ICC_HAPR_EL1 (bit 3) must be initialised to 0b1.
240 - ICH_HFGRTR_EL2.ICC_CR0_EL1 (bit 2) must be initialised to 0b1.
241 - ICH_HFGRTR_EL2.ICC_IDRn_EL1 (bit 1) must be initialised to 0b1.
242 - ICH_HFGRTR_EL2.ICC_APR_EL1 (bit 0) must be initialised to 0b1.
244 - ICH_HFGWTR_EL2.ICC_PPI_ACTIVERn_EL1 (bit 20) must be initialised to 0b1.
245 - ICH_HFGWTR_EL2.ICC_PPI_PRIORITYRn_EL1 (bit 19) must be initialised to 0b1.
246 - ICH_HFGWTR_EL2.ICC_PPI_PENDRn_EL1 (bit 18) must be initialised to 0b1.
247 - ICH_HFGWTR_EL2.ICC_PPI_ENABLERn_EL1 (bit 17) must be initialised to 0b1.
248 - ICH_HFGWTR_EL2.ICC_ICSR_EL1 (bit 6) must be initialised to 0b1.
249 - ICH_HFGWTR_EL2.ICC_PCR_EL1 (bit 5) must be initialised to 0b1.
250 - ICH_HFGWTR_EL2.ICC_CR0_EL1 (bit 2) must be initialised to 0b1.
251 - ICH_HFGWTR_EL2.ICC_APR_EL1 (bit 0) must be initialised to 0b1.
253 - ICH_HFGITR_EL2.GICRCDNMIA (bit 10) must be initialised to 0b1.
254 - ICH_HFGITR_EL2.GICRCDIA (bit 9) must be initialised to 0b1.
255 - ICH_HFGITR_EL2.GICCDDI (bit 8) must be initialised to 0b1.
256 - ICH_HFGITR_EL2.GICCDEOI (bit 7) must be initialised to 0b1.
257 - ICH_HFGITR_EL2.GICCDHM (bit 6) must be initialised to 0b1.
258 - ICH_HFGITR_EL2.GICCDRCFG (bit 5) must be initialised to 0b1.
259 - ICH_HFGITR_EL2.GICCDPEND (bit 4) must be initialised to 0b1.
260 - ICH_HFGITR_EL2.GICCDAFF (bit 3) must be initialised to 0b1.
261 - ICH_HFGITR_EL2.GICCDPRI (bit 2) must be initialised to 0b1.
262 - ICH_HFGITR_EL2.GICCDDIS (bit 1) must be initialised to 0b1.
263 - ICH_HFGITR_EL2.GICCDEN (bit 0) must be initialised to 0b1.
265 - The DT or ACPI tables must describe a GICv5 interrupt controller.
270 - ICC_SRE_EL3.Enable (bit 3) must be initialised to 0b1.
271 - ICC_SRE_EL3.SRE (bit 0) must be initialised to 0b1.
272 - ICC_CTLR_EL3.PMHE (bit 6) must be set to the same value across
273 all CPUs the kernel is executing on, and must stay constant
278 - ICC_SRE_EL2.Enable (bit 3) must be initialised to 0b1
279 - ICC_SRE_EL2.SRE (bit 0) must be initialised to 0b1.
281 - The DT or ACPI tables must describe a GICv3 interrupt controller.
288 ICC_SRE_EL3.SRE (bit 0) must be initialised to 0b0.
292 ICC_SRE_EL2.SRE (bit 0) must be initialised to 0b0.
294 - The DT or ACPI tables must describe a GICv2 interrupt controller.
300 - SCR_EL3.APK (bit 16) must be initialised to 0b1
301 - SCR_EL3.API (bit 17) must be initialised to 0b1
305 - HCR_EL2.APK (bit 40) must be initialised to 0b1
306 - HCR_EL2.API (bit 41) must be initialised to 0b1
312 - CPTR_EL3.TAM (bit 30) must be initialised to 0b0
313 - CPTR_EL2.TAM (bit 30) must be initialised to 0b0
314 - AMCNTENSET0_EL0 must be initialised to 0b1111
315 - AMCNTENSET1_EL0 must be initialised to a platform specific value
321 - AMCNTENSET0_EL0 must be initialised to 0b1111
322 - AMCNTENSET1_EL0 must be initialised to a platform specific value
330 - SCR_EL3.FGTEn (bit 27) must be initialised to 0b1.
336 - SCR_EL3.FGTEn2 (bit 59) must be initialised to 0b1.
342 - SCR_EL3.HXEn (bit 38) must be initialised to 0b1.
348 - CPTR_EL3.TFP (bit 10) must be initialised to 0b0.
352 - CPTR_EL2.TFP (bit 10) must be initialised to 0b0.
358 - CPTR_EL3.EZ (bit 8) must be initialised to 0b1.
360 - ZCR_EL3.LEN must be initialised to the same value for all CPUs the
365 - CPTR_EL2.TZ (bit 8) must be initialised to 0b0.
367 - CPTR_EL2.ZEN (bits 17:16) must be initialised to 0b11.
369 - ZCR_EL2.LEN must be initialised to the same value for all CPUs the
376 - CPTR_EL3.ESM (bit 12) must be initialised to 0b1.
378 - SCR_EL3.EnTP2 (bit 41) must be initialised to 0b1.
380 - SMCR_EL3.LEN must be initialised to the same value for all CPUs the
385 - CPTR_EL2.TSM (bit 12) must be initialised to 0b0.
387 - CPTR_EL2.SMEN (bits 25:24) must be initialised to 0b11.
389 - SCTLR_EL2.EnTP2 (bit 60) must be initialised to 0b1.
391 - SMCR_EL2.LEN must be initialised to the same value for all CPUs the
394 - HWFGRTR_EL2.nTPIDR2_EL0 (bit 55) must be initialised to 0b01.
396 - HWFGWTR_EL2.nTPIDR2_EL0 (bit 55) must be initialised to 0b01.
398 - HWFGRTR_EL2.nSMPRI_EL1 (bit 54) must be initialised to 0b01.
400 - HWFGWTR_EL2.nSMPRI_EL1 (bit 54) must be initialised to 0b01.
406 - SMCR_EL3.FA64 (bit 31) must be initialised to 0b1.
410 - SMCR_EL2.FA64 (bit 31) must be initialised to 0b1.
416 - SCR_EL3.ATA (bit 26) must be initialised to 0b1.
420 - HCR_EL2.ATA (bit 56) must be initialised to 0b1.
426 - SMCR_EL3.EZT0 (bit 30) must be initialised to 0b1.
430 - SMCR_EL2.EZT0 (bit 30) must be initialised to 0b1.
436 - MDCR_EL3.SBRBE (bits 33:32) must be initialised to 0b01 or 0b11.
440 - BRBCR_EL2.CC (bit 3) must be initialised to 0b1.
441 - BRBCR_EL2.MPRED (bit 4) must be initialised to 0b1.
443 - HDFGRTR_EL2.nBRBDATA (bit 61) must be initialised to 0b1.
444 - HDFGRTR_EL2.nBRBCTL (bit 60) must be initialised to 0b1.
445 - HDFGRTR_EL2.nBRBIDR (bit 59) must be initialised to 0b1.
447 - HDFGWTR_EL2.nBRBDATA (bit 61) must be initialised to 0b1.
448 - HDFGWTR_EL2.nBRBCTL (bit 60) must be initialised to 0b1.
450 - HFGITR_EL2.nBRBIALL (bit 56) must be initialised to 0b1.
451 - HFGITR_EL2.nBRBINJ (bit 55) must be initialised to 0b1.
457 - MDCR_EL3.EnPM2 (bit 7) must be initialised to 0b1.
461 - HDFGRTR2_EL2.nPMICNTR_EL0 (bit 2) must be initialised to 0b1.
462 - HDFGRTR2_EL2.nPMICFILTR_EL0 (bit 3) must be initialised to 0b1.
463 - HDFGRTR2_EL2.nPMUACR_EL1 (bit 4) must be initialised to 0b1.
465 - HDFGWTR2_EL2.nPMICNTR_EL0 (bit 2) must be initialised to 0b1.
466 - HDFGWTR2_EL2.nPMICFILTR_EL0 (bit 3) must be initialised to 0b1.
467 - HDFGWTR2_EL2.nPMUACR_EL1 (bit 4) must be initialised to 0b1.
473 - HCRX_EL2.MSCEn (bit 11) must be initialised to 0b1.
475 - HCRX_EL2.MCE2 (bit 10) must be initialised to 0b1 and the hypervisor
476 must handle MOPS exceptions as described in :ref:`arm64_mops_hyp`.
482 - SCR_EL3.TCR2En (bit 43) must be initialised to 0b1.
486 - HCRX_EL2.TCR2En (bit 14) must be initialised to 0b1.
492 - SCR_EL3.PIEn (bit 45) must be initialised to 0b1.
496 - HFGRTR_EL2.nPIR_EL1 (bit 58) must be initialised to 0b1.
498 - HFGWTR_EL2.nPIR_EL1 (bit 58) must be initialised to 0b1.
500 - HFGRTR_EL2.nPIRE0_EL1 (bit 57) must be initialised to 0b1.
502 - HFGRWR_EL2.nPIRE0_EL1 (bit 57) must be initialised to 0b1.
506 - GCSCR_EL1 must be initialised to 0.
508 - GCSCRE0_EL1 must be initialised to 0.
512 - SCR_EL3.GCSEn (bit 39) must be initialised to 0b1.
516 - GCSCR_EL2 must be initialised to 0.
520 - HCRX_EL2.GCSEn must be initialised to 0b1.
522 - HFGITR_EL2.nGCSEPP (bit 59) must be initialised to 0b1.
524 - HFGITR_EL2.nGCSSTR_EL1 (bit 58) must be initialised to 0b1.
526 - HFGITR_EL2.nGCSPUSHM_EL1 (bit 57) must be initialised to 0b1.
528 - HFGRTR_EL2.nGCS_EL1 (bit 53) must be initialised to 0b1.
530 - HFGRTR_EL2.nGCS_EL0 (bit 52) must be initialised to 0b1.
532 - HFGWTR_EL2.nGCS_EL1 (bit 53) must be initialised to 0b1.
534 - HFGWTR_EL2.nGCS_EL0 (bit 52) must be initialised to 0b1.
540 - MDCR_EL3.TDA (bit 9) must be initialized to 0b0
546 - MDCR_EL3.TPM (bit 6) must be initialized to 0b0
549 timers, coherency and system registers apply to all CPUs. All CPUs must
558 - The primary CPU must jump directly to the first instruction of the
559 kernel image. The device tree blob passed by this CPU must contain
566 - CPUs with a "spin-table" enable-method must have a 'cpu-release-addr'
572 device tree) polling their cpu-release-addr location, which must be
576 cpu-release-addr returns a non-zero value, the CPU must jump to this
578 value, so CPUs must convert the read value to their native endianness