void buffalo_nopae (vmi_instance_t instance, uint32_t entry, int pde) { /* similar techniques are surely doable in linux, but for now * this is only testing for windows domains */ if (instance->os_type != VMI_OS_WINDOWS) { return; } if (!TRANSITION(entry) && !PROTOTYPE(entry)) { uint32_t pfnum = (entry >> 1) & VMI_BIT_MASK(0,3); uint32_t pfframe = entry & VMI_BIT_MASK(12,31); /* pagefile */ if (pfnum != 0 && pfframe != 0) { dbprint(VMI_DEBUG_PTLOOKUP, "--Buffalo: page file = %d, frame = 0x%.8x\n", pfnum, pfframe); } /* demand zero */ else if (pfnum == 0 && pfframe == 0) { dbprint(VMI_DEBUG_PTLOOKUP, "--Buffalo: demand zero page\n"); } }
RPB_FUNCTION_1(S4_Message, get_method_output_prototype, Rcpp::XPtr<GPB::MethodDescriptor> method) { const GPB::Descriptor* desc = method->output_type(); return S4_Message(PROTOTYPE(desc)); }