pic32_get_pbclk
pbclk = pic32_get_pbclk(2);
u32 pic32_get_pbclk(int bus);
unsigned long rate = pic32_get_pbclk(7);