digitalPinToPCICR() and other pin-change interrupt macros

Hi, When patching my Arduino-based project up to 1.0, I noticed a pile of macros pertaining to resolving pin-change interrupt port and bit values from Arduino pin numbers. But, this does not appear to be used anywhere (at least in the core). Does their inclusion hint that there is now official pin-change interrupt support in 1.0, similar to the PcInt library in the playground?

(If not, what's it for? These macros seem to largely duplicate the function of e.g. digitalPinToPort() and digitalPinToBitMask() (see the PCInt library above for an example of usage this way).)