Can’t Find function

I can’t seem to find the function get_userdata($user_id)
the function is used by many PHP scripts
(e.g. admin-db.php, admin-functions.php, etc.) but i can’t seem to find it. where does this function reside? or am i just too lazy looking for it…

tnx!