ctxd_t
extern ctxd_t *srmmu_ctx_table_phys;
#define __ctxd(x) ((ctxd_t) { (x) } )
extern ctxd_t *srmmu_ctx_table_phys;
#define SRMMU_NOCACHE_ALIGN_MAX (sizeof(ctxd_t)*SRMMU_MAX_CONTEXTS)
static inline void srmmu_ctxd_set(ctxd_t *ctxp, pgd_t *pgdp)
ctxd_t *srmmu_ctx_table_phys;
static ctxd_t *srmmu_context_table;
srmmu_context_table = __srmmu_get_nocache(num_contexts * sizeof(ctxd_t), num_contexts * sizeof(ctxd_t));
srmmu_ctx_table_phys = (ctxd_t *)__nocache_pa(srmmu_context_table);