PICF182423 - read_adc() - jak dostać się do rejestru ADRESL

Witam

Programuje PICa w C za pomocą CCS C.

Jest tam funkcja read_adc() która automatycznie wynik justuje do lewej i jako wynik zwraca tylko 1 bajt czyli zawartość (bity od 4 do 11) ADRESH. Potrzebuje całej 12 bitowej informacji i nie wiem jak się dostać do pozostałych 4 bitów.

Czy ktoś jest mi w stanie pomóc?

Czy nie można odczytać bezpośrednio spod adresu ? Jakieś peek(adr) czy coś w tym rodzaju ?

Poradziłem sobie z tym - przy #device PIC18F2423 trzeba dodać ADC=12 *=16.