void * RoundDown( void * x, u32 base );
Rounds down the value so that it is a multiple of the specified value.
CONFIDENTIAL