Searched refs:__system_reset_kernel (Results 1 – 2 of 2) sorted by relevance
69 .globl __system_reset_kernel70 __system_reset_kernel: label72 . = __system_reset_kernel + 512
97 extern char __system_reset_kernel[]; in ps3_copy_vectors()99 memcpy((void *)0x100, __system_reset_kernel, 512); in ps3_copy_vectors()