#ifndef JUMBO_VA_SPACES_COMMON
#define JUMBO_VA_SPACES_COMMON
void verify_jumbo_va(bool);

#endif /* JUMBO_VA_SPACES_COMMON */