// S : tags   min c  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT test.bc

// N : V       : CC_OPT    : V_OPT : TAGS : RESULT
// V : default :           :       :      : valid
// V : suspend : -DSUSPEND :       :      : valid

#include <sys/divm.h>
#include <sys/interrupt.h>
#include <sys/trace.h>
#include <assert.h>

int main()
{
    int a;
    __vm_pointer_t ptr = __vm_pointer_split( &a );
#ifdef SUSPEND
    __dios_suspend();
#endif
    __vm_meta_t meta = __vm_peek( _VM_ML_User, ptr.obj, ptr.off, 1 );
    __dios_trace_f( "%d %d", meta.offset, meta.length );
    assert( meta.offset == ptr.off );
    assert( meta.length == 0 );
    return 0;
}