I have a bug in lsk 3.10 kernel, which give kernel ops as following.

It seems fails to access a non initial address 23faaf7d0, which is a efi field. Seems the general purpose register x0 filled this value, So is there some custom to use x0~29 serial registers? where to find the documents of them?

Thanks! Alex

[ 1.315156] Unable to handle kernel paging request at virtual address 23faaf7d0 [ 1.315367] pgd = ffffffc000a34000 [ 1.315473] [23faaf7d0] *pgd=0000000000000000 [ 1.315714] Internal error: Oops: 94000005 [#1] SMP [ 1.315937] Modules linked in: [ 1.316314] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.10.79+ #30 [ 1.316538] task: ffffffc0fb8d1440 ti: ffffffc0fb8d4000 task.ti: ffffffc0fb8d4000 [ 1.317062] PC is at arm64_enter_virtual_mode+0x260/0x4e4 [ 1.317232] LR is at arm64_enter_virtual_mode+0x25c/0x4e4 [ 1.317388] pc : [<ffffffc000890280>] lr : [<ffffffc00089027c>] pstate: 600003c5 [ 1.317580] sp : ffffffc0fb8d7d80 [ 1.317686] x29: ffffffc0fb8d7d80 x28: ffffffc0007e8820 [ 1.317885] x27: ffffffc0fb860000 x26: ffffffc000973ca8 [ 1.318046] x25: ffffffc000973000 x24: 0000000000000000 [ 1.318202] x23: ffffff8000012558 x22: ffffffc000993000 [ 1.318358] x21: 0000000000000340 x20: ffffffc0009933a0 [ 1.318513] x19: 0000000000000005 x18: 000000000000202a [ 1.318667] x17: 0000000000000092 x16: 0000000000000040 [ 1.318857] x15: ffffffffffffffff x14: 0ffffffffffffffe [ 1.319013] x13: 00000000000019f4 x12: 0000000000010000 [ 1.319171] x11: 000000000000e654 x10: 0000000000000048 [ 1.319344] x9 : 0000000000000006 x8 : 6161663332303030 [ 1.319511] x7 : 000000000000005f x6 : 0000000000000001 [ 1.319667] x5 : ffffffc0000936a4 x4 : 0000000000000001 [ 1.319826] x3 : 0000000000000000 x2 : 0000000000000000 [ 1.319987] x1 : ffffffc0009170a8 x0 : 000000023faaf798 [ 1.320144] [ 1.320221] Process swapper/0 (pid: 1, stack limit = 0xffffffc0fb8d40