Searched refs:MaxAddress (Results 1 – 2 of 2) sorted by relevance
1134 UINT64 MaxAddress; /* Max physical address in system */ member
2563 plat_dr_physmax = btop(tp->MaxAddress + 1); in process_msct()