static u32_t phys_get32(phys_bytes addr) { u32_t v; int r; if((r=lin_lin_copy(NULL, addr, proc_addr(SYSTEM), (phys_bytes) &v, sizeof(v))) != OK) { panic("lin_lin_copy for phys_get32 failed: %d", r); } return v; }
static u32_t phys_get32(phys_bytes addr) { const u32_t v; int r; if(!vm_running) { phys_copy(addr, vir2phys(&v), sizeof(v)); return v; } if((r=lin_lin_copy(NULL, addr, proc_addr(SYSTEM), vir2phys(&v), sizeof(v))) != OK) { panic("lin_lin_copy for phys_get32 failed: %d", r); } return v; }