Home
last modified time | relevance | path

Searched refs:MMU_DEVICE_COUNT (Results 1 – 2 of 2) sorted by relevance

/picolibc-latest/picocrt/machine/aarch64/
Dcrt0.c71 #define MMU_DEVICE_COUNT 2 macro
73 extern uint64_t __identity_page_table[MMU_NORMAL_COUNT + MMU_DEVICE_COUNT + MMU_INVALID_COUNT];
121 ".rept " __XSTRING(MMU_DEVICE_COUNT) "\n"
130 …".size __identity_page_table, " __XSTRING((MMU_NORMAL_COUNT + MMU_DEVICE_COUNT + MMU_INVALID_COUNT…
/picolibc-latest/picocrt/machine/arm/
Dcrt0.c108 #define MMU_DEVICE_COUNT 2048 macro
109 extern uint32_t __identity_page_table[MMU_NORMAL_COUNT + MMU_DEVICE_COUNT];
162 ".rept " __XSTRING(MMU_DEVICE_COUNT) "\n"
166 ".size __identity_page_table, " __XSTRING((MMU_NORMAL_COUNT + MMU_DEVICE_COUNT) * 4) "\n"