Round p (pointer or byte index) up to a correctly-aligned value for all data types (int, long, ...). The result is unsigned int and must be cast to any desired pointer type.
LOG2(PAGE_SIZE)
bytes per page
LOG2(NBPDR)
pages of io permission bitmap
Ceiling on size of buffer cache