/* this is a placeholder for a component not generally distributed */
void
_emptydevmem(void)
{
}