addr_P4Tmap
ASSYM(addr_P4Tmap, addr_P4Tmap);
#define P4Tmap ((pt_entry_t *)(addr_P4Tmap))
(*func)(0, la57 ? (uintptr_t)addr_P5Tmap : (uintptr_t)addr_P4Tmap);