Mailbox methods for RPi

[Yurii Shevtsov]

I have this lines in FreeBSD driver:
  | bcm2835_mbox_set_power_state(dev, BCM2835_MBOX_POWER_ID_USB_HCD, TRUE);
How should I replace it?

Thanks in advance)