Defined in 1 files as a macro:

• sys/arch/arm/include/arm32/pte.h, line 110 (as a macro)

Referenced in 1 files:

• sys/arch/arm/arm32/arm32_kvminit.c
  • line 250
  • line 462
  • line 478
  • line 478
  • line 486
  • line 486
  • line 649
  • line 662
  • line 668
  • line 672
  • line 679
  • line 683
  • line 686
  • line 689
  • line 694