lib.c

Go to the documentation of this file.

#include <xtf/framework.h>
#include <xtf/lib.h>
#include <xtf/traps.h>
#include <xtf/hypercall.h>
#include <xtf/xenstore.h>
 
#ifndef isdigit
/* Avoid pulling in all of ctypes just for this. */
static int isdigit(int c)
{
    return c >= '0' && c <= '9';
}
#endif
 
void __noreturn panic(const char *fmt, ...)
{
    va_list args;
 
    printk("******************************\n");
 
    printk("PANIC: ");
    va_start(args, fmt);
    vprintk(fmt, args);
    va_end(args);
 
    printk("******************************\n");
 
    hypercall_shutdown(SHUTDOWN_crash);
    arch_crash_hard();
}
 
int xtf_probe_sysctl_interface_version(void)
{
    int i;
    xen_sysctl_t op = { .cmd = 0 };
 
    for ( i = 0; i < 128; i++ )
    {
        op.interface_version = i;
        if ( hypercall_sysctl(&op) != -EACCES )
            return i;
    }
 
    return -1;
}
 
static int evtchn_get_domid(void)
{
    union {
        struct evtchn_alloc_unbound alloc;
        struct evtchn_status status;
    } op;
    evtchn_port_t port;
    int rc;
 
    op.alloc.dom = DOMID_SELF;
    op.alloc.remote_dom = DOMID_SELF;
    rc = hypercall_evtchn_alloc_unbound(&op.alloc);
    if ( rc )
        return -1;
 
    port = op.alloc.port;
 
    op.status.dom = DOMID_SELF;
    op.status.port = port;
    rc = hypercall_evtchn_status(&op.status);
 
    /* Clean up the allocated port, irrespective of other failures. */
    hypercall_evtchn_close(port);
 
    if ( rc )
        return -1;
 
    return op.status.unbound.dom;
}
 
static int xenstore_get_domid(void)
{
    int rc = xenstore_init();
 
    if ( rc )
        return -1;
 
    const char *str = xenstore_read("domid");
    unsigned int domid = 0;
 
    if ( !str || !isdigit(*str) )
        return -1;
 
    while ( isdigit(*str) )
    {
        domid = domid * 10 + (*str - '0');
        str++;
    }
 
    if ( domid >= DOMID_FIRST_RESERVED )
        return -1;
 
    return domid;
}
 
int xtf_get_domid(void)
{
    int rc;
 
    rc = arch_get_domid();
    if ( rc >= 0 )
        return rc;
 
    rc = evtchn_get_domid();
    if ( rc >= 0 )
        return rc;
 
    rc = xenstore_get_domid();
    if ( rc >= 0 )
        return rc;
 
    return -1;
}
 
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */