static u32 read_kaddr(u32 kaddr) { return svc_7b(k_read_kaddr, (u32*)kaddr); }
static void write_kaddr(u32 kaddr, u32 val) { u32 args[] = {kaddr, val}; svc_7b(k_write_kaddr, args); }
static void write_kaddr(u32 kaddr, u32 val) { u32 args[] = {kaddr, val}; svc_7b((backdoor_fn)write_kaddr_kernel, args); }