lib_cpu_tlb_mapping
volatile const struct lib_cpu_tlb_mapping *m =
struct lib_cpu_tlb_mapping tlb_map[MAX_TLB_MAPPINGS];