Searched refs:kernel_vsid_c4 (Results 1 - 1 of 1) sorted by relevance

/asus-wl-520gu-7.0.1.45/src/linux/linux/arch/ppc64/xmon/
H A Dxmon.c2443 unsigned long kernel_vsid_c4,kernel_vsid_c5,kernel_vsid_d,kernel_vsid_e; local
2498 kernel_vsid_c4 = get_kernel_vsid(0xC000000040000000);
2508 printf(" kernel vsid - seg c4 = %lx\n", kernel_vsid_c4 );

Completed in 42 milliseconds