unsigned __get_register(unsigned reg);
__get_register reads CPU register reg and returns its contents. __get_register should be used for writing small wrapper routines in C that can be hand checked for correctness.
__get_register is an intrinsic function and produces inline code.