... as they're being called only from a __cpuinit function.
Signed-off-by: NJan Beulich <jbeulich@novell.com>
Signed-off-by: NGuenter Roeck <guenter.roeck@ericsson.com>