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); } }
void * vmi_read_page (vmi_instance_t vmi, addr_t frame_num) { return driver_read_page(vmi, frame_num); }