cpu_csrc_pte
#define cpu_csrc_pte(o) (csrc_pte + cnptes * cpu_number() + ((o) >> L2_S_SHIFT))
#define cpu_csrc_pte(o) (csrc_pte + ((o) >> L2_S_SHIFT))