mmu_mark_initmem_nx
int mmu_mark_initmem_nx(void)
static inline int mmu_mark_initmem_nx(void) { return 0; }