#ifndef __upcall_h
#define __upcall_h

#include "veneers.h"

void upcall_disable_diskname(void);
void upcall_enable_diskname(void);

#endif
