mirror of
https://github.com/wiiu-env/libkernel.git
synced 2024-06-02 18:38:50 +02:00
Formatting
This commit is contained in:
parent
7aeb14db05
commit
48c28ffbe6
|
@ -1,10 +1,9 @@
|
||||||
#include <cstdint>
|
|
||||||
#include <coreinit/cache.h>
|
#include <coreinit/cache.h>
|
||||||
#include <coreinit/memorymap.h>
|
#include <coreinit/memorymap.h>
|
||||||
#include "kernel/kernel.h"
|
#include "kernel/kernel.h"
|
||||||
|
|
||||||
void KernelReadPTE(uint32_t outputAddr, int32_t length) {
|
void KernelReadPTE(uint32_t outputAddr, int32_t length) {
|
||||||
uint32_t dst = (uint32_t) OSEffectiveToPhysical(outputAddr);
|
auto dst = (uint32_t) OSEffectiveToPhysical(outputAddr);
|
||||||
uint32_t src = 0xFFE20000;
|
uint32_t src = 0xFFE20000;
|
||||||
ICInvalidateRange(&dst, 4);
|
ICInvalidateRange(&dst, 4);
|
||||||
DCFlushRange(&dst, 4);
|
DCFlushRange(&dst, 4);
|
||||||
|
@ -16,7 +15,7 @@ void KernelReadPTE(uint32_t outputAddr, int32_t length) {
|
||||||
|
|
||||||
void KernelWritePTE(uint32_t inputAddr, int32_t length) {
|
void KernelWritePTE(uint32_t inputAddr, int32_t length) {
|
||||||
uint32_t dst = 0xFFE20000;
|
uint32_t dst = 0xFFE20000;
|
||||||
uint32_t src = (uint32_t) OSEffectiveToPhysical(inputAddr);
|
auto src = (uint32_t) OSEffectiveToPhysical(inputAddr);
|
||||||
ICInvalidateRange(&src, 4);
|
ICInvalidateRange(&src, 4);
|
||||||
DCFlushRange(&src, 4);
|
DCFlushRange(&src, 4);
|
||||||
KernelCopyData(dst, src, length);
|
KernelCopyData(dst, src, length);
|
||||||
|
|
Loading…
Reference in New Issue
Block a user