예제 #1
0
파일: accessors.c 프로젝트: WaitXie/libvmi 
void *
vmi_read_page (vmi_instance_t vmi, addr_t frame_num)
{
    if (!frame_num) {
        return NULL ;
    }
    else {
        return driver_read_page(vmi, frame_num);
    }
}
예제 #2
0
void *
vmi_read_page (vmi_instance_t vmi, addr_t frame_num)
{
    return driver_read_page(vmi, frame_num);
}