* Add a wired page to the kva.
* Note: not SMP coherent.
*/
-PMAP_INLINE void
+void
pmap_kenter(vm_offset_t va, vm_paddr_t pa)
{
pt_entry_t *l3;
makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
makeoptions NO_MODULES=1 # We don't yet support modules on arm64
+options ROOTDEVNAME=\"ufs:xbd0s2\"
+
options XENHVM
options SCHED_ULE # ULE scheduler
((((va) | (pa)) & L1_OFFSET) == 0 && (size) >= L1_SIZE)
void pmap_bootstrap(vm_offset_t, vm_paddr_t, vm_size_t);
+void pmap_kenter(vm_offset_t va, vm_paddr_t pa);
void pmap_kenter_device(vm_offset_t, vm_size_t, vm_paddr_t);
vm_paddr_t pmap_kextract(vm_offset_t va);
void pmap_kremove(vm_offset_t);
if (strcmp(xenbus_get_type(dev), "vbd") != 0)
return (ENXIO);
+#if 0
if (xen_hvm_domain() && xen_disable_pv_disks != 0)
return (ENXIO);
+#endif
if (xen_hvm_domain()) {
int error;
netfront_probe(device_t dev)
{
+#if 0
if (xen_hvm_domain() && xen_disable_pv_nics != 0)
return (ENXIO);
+#endif
if (!strcmp(xenbus_get_type(dev), "vif")) {
device_set_desc(dev, "Virtual Network Interface");