xmon_owner
xmon_owner = cpu;
xmon_owner = smp_processor_id();
dump_one_paca(xmon_owner);
dump_one_xive(xmon_owner);
secondary = !(xmon_taken && cpu == xmon_owner);
xmon_owner = cpu;
if (cpu == xmon_owner) {
while (cpu == xmon_owner)
static int xmon_owner;