msp432p401r-0.1.2 doesn't have any documentation.
Peripheral access API for TI MSP432P401R and MSP432P401M microcontrollers generated using svd2rust.
A complete program which uses this crate to put on the RGB LED on a TI MSP432P401R launchpad is available here.