// TODO: This was commented out, why?
if( read_len != PAGE_SIZE ) {
memset( (void*)(mapping_dest+read_len), 0, PAGE_SIZE-read_len );
// TODO: This was commented out, why?
if( read_len != PAGE_SIZE ) {
memset( (void*)(mapping_dest+read_len), 0, PAGE_SIZE-read_len );