/* arch/<arch>/<arch>/db_interface.c */