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));
}
